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 [Book Review]

Journal of Symbolic Logic 40 (4):629-630 (1975)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2271848

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,337

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

Mostowski A.. Constructible sets with applications. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam, and PWN, Polish Scientific Publishers, Warsaw, 1969, vi + 269 pp. [REVIEW]Perry Smith - 1975 - Journal of Symbolic Logic 40 (4):631-632.
Evert W. Beth. Preface. English translation of XL 256. Science a road to wisdom, by Evert W. Beth, D. Reidel Publishing Company, Dordrecht, Holland, 1968, pp. XI–XIII. - Evert W. Beth. Science as a cultural factor. English translation of XL 256. Science a road to wisdom, by Evert W. Beth, D. Reidel Publishing Company, Dordrecht, Holland, 1968, pp. 1–10. - Evert W. Beth. Natural science, philosophy, and persuasion. English translation of XL 256. Science a road to wisdom, by Evert W. Beth, D. Reidel Publishing Company, Dordrecht, Holland, 1968, pp. 11–20. - Evert W. Beth. Scientific philosophy: its aims and means. English translation of XL 256. Science a road to wisdom, by Evert W. Beth, D. Reidel Publishing Company, Dordrecht, Holland, 1968, pp. 29–34. - Evert W. Beth. Symbolic logic as a continuation of traditional formal logic. English translation of XL 256. Science a road to wisdom, by Evert W. Beth, D. Reidel Publishing Company, Dordrecht, Holland, 1968, pp. 42–61. - Evert W. Beth. [REVIEW]H. L. Berghel - 1975 - Journal of Symbolic Logic 40 (2):255-298.
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.
Reviews. Alfred Tarski. Preface. Undecidable theories, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1953, pp. VIII–IX. Alfred Tarski. A general method in proofs of undecidability. Undecidable theories, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1953, pp. 3–35. Andrzej Mostowski, Raphael M. Robinson, and Alfred Tarski. Undecidability and essential undecidability in arithmetic. Undecidable theories, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1953, pp. 39–74. Alfred Tarski. Undecidability of the elementary theory of groups. Undecidable theories, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1953, pp. 77–87. Bibliography. Undecidable theories, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1953, pp. 89–91. Index. Undecidable theories. [REVIEW]Martin Davis - 1959 - Journal of Symbolic Logic 24 (2):167-169.
Paul Bernays. On the original Gentzen consistency proof for number theory. Intuitionism and proof theory, Proceedings of the summer conference at Buffalo N.Y. 1968, edited by A. Kino, J. Myhill, and R. E. Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam and London1970, pp. 409–417. [REVIEW]J. van Heijenoort - 1975 - Journal of Symbolic Logic 40 (1):95-95.
Tarski A.. Equational logic and equational theories of algebras. Contributions to mathematical logic, Proceedings of the Logic Colloquium, Hannover 1966, edited by Arnold Schmidt H., Schütte K., and Thiele H.-J., Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1968, pp. 275–288. [REVIEW]Ralph Seifert - 1971 - Journal of Symbolic Logic 36 (1):161-162.
Mostowski Andrzej. Sentences undecidable in formalized arithmetic. An exposition of the theory of Kurt Gödel. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam 1952, VIII + 117 pp. [REVIEW]G. Hasenjaeger - 1954 - Journal of Symbolic Logic 19 (2):119-121.
Essay review.C. Lejewski - 1983 - History and Philosophy of Logic 4 (1):91-96.
Keisler H. J.. Models with orderings. Logic, methodology and philosophy of science III, Proceedings of the Third International Congress for Logic, Methodology and Philosophy of Science, Amsterdam 1967, edited by van Rootselaar B. and Staal J. F., Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1968, pp. 35–62. [REVIEW]H. -D. Ebbinghaus - 1974 - Journal of Symbolic Logic 39 (2):334-335.

Analytics

Added to PP
2013-11-22

Downloads
90 (#233,367)

6 months
23 (#132,186)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A Note on Products and Degree of Types.J. Wierzejewski - 1976 - Mathematical Logic Quarterly 23 (27‐30):431-434.
A-Minimal Lattices.John L. Hickman - 1980 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 26 (10-12):181-191.

View all 6 citations / Add more citations

References found in this work

No references found.

Add more references