Andrzej Grzegorczyk. An outline of mathematical logic. Fundamental results and notions explained with all details. English translation by Olgierd Wojtasiewicz and Wacław Zawadowski of the second edition of Zarys logiki matematycznej. Synthese library, vol. 70. D. Reidel Publishing Company, Dordrecht and Boston, and PWN—Polish Scientific Publishers, Warsaw, 1974, X + 596 pp [Book Review]

Journal of Symbolic Logic 48 (1):220-222 (1983)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2273344

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,891

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Review: Andrzej Grzegorczyk, Olgierd Wojtasiewicz, Waclaw Zawadowski, An Outline of Mathematical Logic. Fundamental Results and Notions Explained with All Details. [REVIEW]E. G. K. Lopez-Escobar - 1983 - Journal of Symbolic Logic 48 (1):220-222.
Zyomunt Ziembiński. Practical logic. With an appendix by Zdzisław Ziemba. English translation of the seventh Polish edition of XXIII 73 by Leon Ter-Oganian. D. Reidel Publishing Company, Dordrecht and Boston, and PWN—Polish Scientific Publishers, Warsaw, 1976, XV + 437 pp. - Zdzisław Ziemba. Deontic logic. Therein, pp. 360–430. [REVIEW]A. Bayart - 1982 - Journal of Symbolic Logic 47 (1):231-233.
Essay review.C. Lejewski - 1983 - History and Philosophy of Logic 4 (1-2):91-96.
Mirkowska G. and Salwicki A.. Algorithmic logic. D. Reidel Publishing Company, Dordrecht etc., and PWN-Polish Scientific Publishers, Warsaw, 1987, xi+ 372 pp. [REVIEW]E. Engeler - 1989 - Journal of Symbolic Logic 54 (3):1105-1106.
Grandy Richard E.. Advanced logic for applications. Synthese library, vol. 110. D. Reidel Publishing Company, Dordrecht and Boston 1977, xiii + 168 pp. [REVIEW]Neil Tennant - 1982 - Journal of Symbolic Logic 47 (3):714-716.
Gabbay Dov M.. Semantical investigations in Heyting's intuitionistic logic. Synthese library, vol. 148. D. Reidel Publishing Company, Dordrecht, Boston, and London, 1981, x + 287 pp. [REVIEW]Wim Veldman - 1986 - Journal of Symbolic Logic 51 (3):824-824.
Andrzej Grzegorczyk. Axiomatizability of geometry without points. Synthese, vol. 12 nos. 2–3 , pp. 228–233; also in The concept and role of the model in mathematics and natural and social sciences, Synthese Library, D. Reidel Publishing Company, Dordrecht 1961, pp. 104–111. [REVIEW]Wolfram Schwabhäuser - 1972 - Journal of Symbolic Logic 37 (1):201-201.
Kuratowski K. and Mostowski A.. Set theory. English translation of XL 649 by Maczynski M.. PWN—Polish Scientific Publishers, Warsaw, and North-Holland Publishing Company, Amsterdam, 1968, xi + 417 pp. [REVIEW]H. B. Enderton - 1975 - Journal of Symbolic Logic 40 (4):629-630.
Bowen Kenneth A.. Model theory for modal logic. Kripke models for modal predicate calculi. Synthese library, vol. 127. D. Reidel Publishing Company, Dordrecht, Boston, and London, 1979, x + 127 pp. [REVIEW]Rob Goldblatt - 1981 - Journal of Symbolic Logic 46 (2):415-417.
Robert Bull and Krister Segerberg. Basic modal logic. Handbook of philosophical logic, Volume II, Extensions of classical logic, edited by D. Gabbay and F. Guenthner, Synthese library, vol. 165, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1984, pp. 1–88. - John P. Burgess. Basic tense logic. Handbook of philosophical logic, Volume II, Extensions of classical logic, edited by D. Gabbay and F. Guenthner, Synthese library, vol. 165, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1984, pp. 89–133. - Richmond H. Thomason. Combinations of tense and modality. Handbook of philosophical logic, Volume II, Extensions of classical logic, edited by D. Gabbay and F. Guenthner, Synthese library, vol. 165, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1984, pp. 135–165. - Johan van Benthem. Correspondence theory. Handbook of philosophical logic, Volume II, Extensions of classical logic, edited by D. Gabbay and F. Guenthner, Synthese library, vol. [REVIEW]Steven T. Kuhn - 1989 - Journal of Symbolic Logic 54 (4):1472-1477.

Analytics

Added to PP
2016-06-30

Downloads
22 (#698,738)

6 months
5 (#837,449)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references