Review: Andrzej Grzegorczyk, Olgierd Wojtasiewicz, Waclaw Zawadowski, An Outline of Mathematical Logic. Fundamental Results and Notions Explained with All Details [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

Other Versions

reprint López-Escobar, E. G. K. (1983) "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". Journal of Symbolic Logic 48(1):220-222

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,449

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

E. G. K. Lopez-Escobar. On defining well-orderings. Fundamenta mathematicae, vol. 59 , pp. 13–21. - E. G. K. Lopez-Escobar. An addition to “On defining well-orderings.“Fundamenta mathematicae, vol. 59 , pp. 299–300. [REVIEW]Jerome Malitz - 1968 - Journal of Symbolic Logic 33 (1):123.
E. G. K. Lopez-Escobar. A complete, infinitary axiomatization of weak second-order logic. Fundamenta mathematicae, vol. 61 , pp. 93–103. [REVIEW]Wolfram Schwabhauser - 1970 - Journal of Symbolic Logic 35 (3):467.
E. G. K. Lopez-Escobar. An interpolation theorem for denumerably long formulas. Fundamenta mathematicae, vol. 57 no. 3 (1965), pp. 253–257. - E. G. K. Lopez-Escobar. Universal formulas in the infinitary language L αβ. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 13 (1965), pp. 383–388. [REVIEW]Erwin Engeler - 1969 - Journal of Symbolic Logic 34 (2):301-302.
E. G. K. Lopez-Escobar. An interpolation theorem for denumerably long formulas. Fundamenta mathematicae, vol. 57 no. 3 (1965), pp. 253–257. - E. G. K. Lopez-Escobar. Universal formulas in the infinitary language L αβ. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 13 (1965), pp. 383–388. [REVIEW]E. G. K. Lopez-Escobar - 1969 - Journal of Symbolic Logic 34 (2):301-302.
Łukasiewicz Jan. Elements of mathematical logic. English translation of 1866 by Olgierd Wojtasiewicz. The Macmillan Company, New York 1964, xi + 124 pp. [REVIEW]Alfons Borgers - 1965 - Journal of Symbolic Logic 30 (2):237-237.
E. G. K. Lopez-Escobar. On a theorem of J. I. Malitz. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 15 , pp. 739–743. [REVIEW]Martin Helling - 1970 - Journal of Symbolic Logic 35 (4):586-586.
Lopez-Escobar E. G. K.. A non-interpolation theorem. English with Russian summary. Bulletin de l'Académic Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 17 , pp. 109–112, V. [REVIEW]H. B. Enderton - 1975 - Journal of Symbolic Logic 40 (3):457-458.
Review: Andrzej Grzegorczyk, Fonctions Recursives. [REVIEW]Rózsa Péter - 1966 - Journal of Symbolic Logic 31 (3):481-483.

Analytics

Added to PP
2013-11-02

Downloads
43 (#543,787)

6 months
2 (#1,294,541)

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