Home Page	Description	Editors	Author index	Submission information
Volume XII/XIII 1993/94	Volume 1 (14) 1997	Volume 2 (15) 1998	Volume 3 (16) 1999	Volume 4 (17) 2001
Volume 5 (18) 2002	Volume 6 (19) 2003

Volume 4 (17) 2001: Language, Mind and Mathematics Witold Marciszewski Leibniz's mathematical and philosophical aprroaches to actual infinity. A case of cultuaral resistance Jan Woleński Logical consequence and the limits of first-order logic Roman Murawski On proofs of the consistency of arithmetic Grzegorz Malinowski Lattice properties of a protologic inference		ISBN 83-89031-06-X
Roman Matuszewski Formal mathematical texts. Towards their rendering into natural language Anna Zalewska Problems with omega-rules in mechanization of reasoning. A comparison of two systems Dariusz Surowik Tense logics and the thesis of determinism Andrzej Malec Legal reasoning and logic Halina Święczkowska Do we think algorithmically?

Copyright © 2001 STUDIES IN LOGIC, GRAMMAR AND RHETORIC ISSN 0860-150X. Articles are copyrighted by their respective authors.