Notice of two directories of philosophy

&
Journal of Symbolic Logic 36 (4):710-710 (1971)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/s0022481200127100

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,448

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: Michael O. Rabin, On Recursively Enumerable and Arithmetic Models of Set Theory. [REVIEW]J. C. Shepherdson - 1963 - Journal of Symbolic Logic 28 (2):167-168.
Michael O. Rabin. Decidability of second-order theories and automata on infinite trees. Bulletin of the American Mathematical Society, vol. 74 , pp. 1025–1029. - Michael O. Rabin. Decidability of second-order theories and automata on infinite trees. Transactions of the American Mathematical Society, vol. 141 , pp. 1–35. [REVIEW]Dirk Siefkes - 1972 - Journal of Symbolic Logic 37 (3):618-619.
Rabin Michael O.. Recursive unsolvability of group theoretic problems. Annals of mathematics, ser. 2 vol. 67 , pp. 172–194. [REVIEW]Bernhard H. Neumann - 1958 - Journal of Symbolic Logic 23 (1):55-56.
Michael O. Rabin and Hao Wang. Words in the history of a Turing machine with a fixed input. Journal of the Association for Computing Machinery, vol. 10 , pp. 526–527. [REVIEW]Joyce Friedman - 1969 - Journal of Symbolic Logic 34 (3):508.
Morley Michael. The number of countable models.Arnold W. Miller - 1984 - Journal of Symbolic Logic 49 (1):314-315.
In memoriam: Michael Morley, 1930–2020.John Baldwin & David Marker - 2021 - Bulletin of Symbolic Logic 27 (4):514-518.
Rabin Michael O.. A simple method for undecidability proofs and some applications. Logic, methodology and philosophy of science, Proceedings of the 1964 International Congress, edited by Bar-Hillel Yehoshua, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1965, pp. 38–68. [REVIEW]William Hanf - 1971 - Journal of Symbolic Logic 36 (1):150.

Analytics

Added to PP
2016-06-30

Downloads
18 (#1,100,172)

6 months
9 (#455,691)

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