- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Smullyan Raymond M.. Languages in which self reference is possible [Book Review]
Journal of Symbolic Logic 24 (3):228-228 (1959)
Abstract
This article has no associated abstract. (fix it)Other Versions
No versions found
My notes
Similar books and articles
Smullyan Raymond M.. Diagonalization and self-reference. Oxford logic guides, no. 27. Clarendon Press, Oxford University Press, Oxford and New York1994, xv + 396 pp.Lev Beklemishev - 1996 - Journal of Symbolic Logic 61 (3):1052-1055.
Raymond Smullyan on Self Reference.Brian Rayman & Melvin Fitting (eds.) - 2017 - Cham, Switzerland: Springer Verlag.
Review: Raymond M. Smullyan, On Post's Canonical Systems. [REVIEW]Ann Yasuhara - 1968 - Journal of Symbolic Logic 33 (4):623-623.
Review: Raymond M. Smullyan, Extended Canonical Systems. [REVIEW]Raymond M. Smullyan - 1967 - Journal of Symbolic Logic 32 (4):524-524.
Bibliography of Raymond Smullyan.Raymond M. Smullyan - 2017 - In Brian Rayman & Melvin Fitting, Raymond Smullyan on Self Reference. Cham, Switzerland: Springer Verlag. pp. 191-195.
Raymond M. Smullyan, On Post 's canonical systems. The journal of symbolic logic, vol. 27 no. 1 , pp. 55–57.Ann Yasuhara - 1969 - Journal of Symbolic Logic 33 (4):623.
Raymond M. Smullyan. Theory of formal systems. Annals of Mathematics studies, no. 47. Princeton University Press, Princeton1961, xi + 142 pp. - Raymond M. Smullyan. Theory of formal systems. Revised edition. Annals of Mathematics studies, no. 47. Princeton University Press, Princeton1961, xi + 147 pp. [REVIEW]Marian Boykan Pour-El - 1965 - Journal of Symbolic Logic 30 (1):88-90.
Raymond M. Smullyan. First-order logic. Corrected republication of XL 237. Dover Publications, New York1995, xii + 158 pp.Jeremy Avigad - 1996 - Journal of Symbolic Logic 61 (1):351.
Languages in which self reference is possible.Raymond M. Smullyan - 1957 - Journal of Symbolic Logic 22 (1):55-67.
Raymond M. Smullyan. Elementary formal systems. Journal of the Mathematical Society of Japan, vol. 13 , pp. 38–44.Ann S. Ferebee - 1969 - Journal of Symbolic Logic 34 (1):117.
Analytics
Added to PP
2013-11-22
Downloads
119 (#394,151)
6 months
19 (#605,215)
2013-11-22
Downloads
119 (#394,151)
6 months
19 (#605,215)
Historical graph of downloads
Try MATCHA Writer if you're interested in citing directly from PhilPapers and certifying your authorship.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation