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

original López-Escobar, E. G. K. (1983) "An Outline of Mathematical Logic. Fundamental Results and Notions Explained with All Details". Journal of Symbolic Logic 48(1):220-222
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: 96,594

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

An Outline of Mathematical Logic. Fundamental Results and Notions Explained with All Details.E. G. K. López-Escobar - 1983 - Journal of Symbolic Logic 48 (1):220-222.
Review: E. G. K. Lopez-Escobar, On Defining Well-Orderings; E. G. K. Lopez-Escobar, An Addition to "On Defining Well-Orderings.". [REVIEW]Jerome Malitz - 1968 - Journal of Symbolic Logic 33 (1):123-123.
Review: E. G. K. Lopez-Escobar, A Complete, Infinitary Axiomatization of Weak Second-Order Logic. [REVIEW]Wolfram Schwabhauser - 1970 - Journal of Symbolic Logic 35 (3):467-467.
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 Schwabhäuser - 1970 - Journal of Symbolic Logic 35 (3):467.
Review: Henryk Greniewski, Olgierd Wojtasiewicz, From the History of Chinese Logic. [REVIEW]Ivan Boh - 1972 - Journal of Symbolic Logic 37 (4):751-751.

Analytics

Added to PP
2013-11-02

Downloads
21 (#871,039)

6 months
7 (#981,086)

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