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

Journal of Symbolic Logic 24 (2):167-169 (1959)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2964758

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,202

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

Undecidable Theories. By Alfred Tarski in collaboration with Andrzej Mostowski and Raphael M. Robinson. (Amsterdam: North-Holland Publishing Company. 1953. Pp. 98. Price 18s.). [REVIEW]S. Körner - 1955 - Philosophy 30 (114):278-.
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.
Moody Ernest A.. Truth and consequence in mediaeval logic. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam 1953, VIII + 113 pp. [REVIEW]Philotheus Boehner - 1955 - Journal of Symbolic Logic 20 (1):44-45.
Robinson Abraham. Complete theories. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam 1956, VIII + 129 pp. [REVIEW]Robert L. Vaught - 1960 - Journal of Symbolic Logic 25 (2):172-174.
Tarski Alfred. ¿ Qué es la geometria elemental? Boletin de la Sociedad Matemática Mexicana, ser. 2, vol. 3 no. 2 , pp. 41–51.Tarski Alfred. What is elementary geometry? The axiomatic method with special reference to geometry and physics, Proceedings of an International Symposium held at the University of California, Berkeley, December 26, 1957—January 4, 1958. Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1959, pp. 16–29. [REVIEW]John van Heijenoort - 1962 - Journal of Symbolic Logic 27 (1):93-93.
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.
Fitch Frederic B.. Quasi-constructive foundations for mathematics. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam, 1957, edited by Heyting A., Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1959, pp. 26–36. [REVIEW]Bruce Lercher - 1972 - Journal of Symbolic Logic 37 (2):402-402.
Chang C. C. and Keisler H. J.. Model theory. Studies in logic and the foundations of mathematics, vol. 73, North-Holland Publishing Company, Amsterdam and London, and American Elsevier Publishing Company, Inc., New York, 1973, xii + 550 pp. [REVIEW]Gebhard Fuhrken - 1976 - Journal of Symbolic Logic 41 (3):697-699.
Chuaqui Rolando Basim. Axiomatic set theory, Impredicative theories of classes. North-Holland mathematics studies, no.. 51, Notas de matematica, no. 78. North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1981, xv + 388 pp. [REVIEW]F. R. Drake - 1984 - Journal of Symbolic Logic 49 (4):1422-1422.
Drake Frank R.. Set theory. An introduction to large cardinals. Studies in logic and the foundations of mathematics, vol. 76. North-Holland Publishing Company, Amsterdam and London, and American Elsevier Publishing Company, Inc., New York, 1974, xii + 351 pp. [REVIEW]Azriel Levy - 1978 - Journal of Symbolic Logic 43 (2):384-384.
M. A. Dickmann. Large infinitary languages. Model theory. Studies in logic and the foundations of mathematics, vol. 83. North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, xv+ 464 pp. [REVIEW]Michael Makkai - 1978 - Journal of Symbolic Logic 43 (1):144-145.
Rasiowa Helena. An algebraic approach to non-classical logics. Studies in logic and the foundations of mathematics, vol. 78. North-Holland Publishing Company, Amsterdam and London, and American Elsevier Publishing Company, Inc., New York, 1974, xv + 403 pp. [REVIEW]Anne Preller - 1977 - Journal of Symbolic Logic 42 (3):432-432.
Porte Jean. Quelques pseudo-paradoxes de la “calculabilité effective.” 2e Congrès Internationale de Cybernétique, Namur, 3–10 Septembre 1958, Actes, Association Internationale de Cybernétique, Namur 1960, pp. 332–334.Kalmár László. An argument against the plausibility of Church's thesis. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam, 1957, edited by Heyting A., Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1959, pp. 72–80.Peter Rózsa. Rekursivität und Konstruktivität. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam, 1957, edited by Heyting A., Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1959, pp. 226–233.Mendelson Elliott. On some recent criticism of Church's thesis. Notre Dame journal of formal logic, vol. 4 no. 3 , pp. 201–205. [REVIEW]Yiannis N. Moschovakis - 1968 - Journal of Symbolic Logic 33 (3):471-472.
Beth E. W.. Remarks on intuitionistic logic. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam, 1957, edited by Heyting A., Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1959, pp. 15–25. [REVIEW]Hans Freudenthal - 1974 - Journal of Symbolic Logic 39 (3):609-609.
Wang Hao. Some formal details on predicative set theories. A survey of mathematical logic, Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 585–623. [REVIEW]Steven Orey - 1965 - Journal of Symbolic Logic 30 (2):250-250.

Analytics

Added to PP
2016-06-30

Downloads
36 (#421,132)

6 months
4 (#698,851)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references