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

Journal of Symbolic Logic 30 (1):88-90 (1965)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2270586

Links

PhilArchive



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

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

John McCarthy and Claude Shannon. Preface. Automata studies, edited by C. E. Shannon and J. McCarthy, Annals of Mathematics studies no. 34, lithoprinted, Princeton University Press, Princeton1956, pp. v–viii. - S. C. Kleene. Representations of events in nerve nets and finite automata. Automata studies, edited by C. E. Shannon and J. McCarthy, Annals of Mathematics studies no. 34, lithoprinted, Princeton University Press, Princeton1956, pp. 3–41. [REVIEW]W. L. Duda - 1958 - Journal of Symbolic Logic 23 (1):59-60.
Post Emil L.. The two-valued iterative systems of mathematical logic. Annals of Mathematics studies, no. 5. Lithoprinted. Princeton University Press, Princeton 1941, 122 pp. [REVIEW]H. E. Vaughan - 1941 - Journal of Symbolic Logic 6 (3):114-115.
Review: Raymond M. Smullyan, Theory of Formal Systems. [REVIEW]Marian Boykan Pour-El - 1965 - Journal of Symbolic Logic 30 (1):88-90.
Gödel Kurt. The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory. Annals of Mathematics studies, no. 3. Lithoprinted. Princeton University Press, Princeton 1940, 66 pp. [REVIEW]Paul Bernays - 1941 - Journal of Symbolic Logic 6 (3):112-114.
Gödel Kurt. The consistency of the axiom of choice and the generalized continuum-hypothesis with the axioms of set theory. Annals of Mathematics studies, no. 3. Second printing, lithoprinted. Princeton University Press, Princeton 1951, 69 pp. [REVIEW]Leon Henkin - 1952 - Journal of Symbolic Logic 17 (3):207-208.
Rabin Michael O.. Effective computability of winning strategies. Contributions to the theory of games, Volume III, Annals of Mathematics studies number 39, Princeton University Press, Princeton, New Jersey, 1957, pp. 147–157. [REVIEW]Patrick Suppes - 1958 - Journal of Symbolic Logic 23 (2):224-224.
Church Alonzo. The calculi of lambda-conversion. Annals of Mathematics studies, no. 6. Second printing. Lithoprinted. Princeton University Press, Princeton 1951, 82 pp. [REVIEW]S. C. Kleene - 1952 - Journal of Symbolic Logic 17 (1):76-76.
Church Alonzo. The calculi of lambda-conversion. Annals of Mathematics studies, no. 6. Lithoprinted. Princeton University Press, Princeton 1941, 77 pp. [REVIEW]Barkley Rosser - 1941 - Journal of Symbolic Logic 6 (4):171-172.
Edward F. Moore. Gedanken-experiments on sequential machines. Automata studies, edited by C. E. Shannon and J. McCarthy, Annals of Mathematics studies no. 34, litho-printed, Princeton University Press, Princeton1956, pp. 129–153. [REVIEW]Alonzo Church - 1958 - Journal of Symbolic Logic 23 (1):60-60.
Church Alonzo. Introduction to mathematical logic. Part I. Annals of Mathematics Studies, no. 13. Lithoprinted. Princeton University Press, Princeton 1944, vi + 118 pp. [REVIEW]G. D. W. Berry - 1945 - Journal of Symbolic Logic 10 (1):19-21.
Solving Smullyan Puzzles with Formal Systems.José Félix Costa & Diogo Poças - 2018 - Axiomathes 28 (2):181-199.
Theory of Formal Systems.Raymond M. Smullyan - 1965 - Journal of Symbolic Logic 30 (1):88-90.
Leora Batnitzky. Idolatry and Representation: The Philosophy of Franz Rosenzweig Reconsidered (Princeton, NJ: Princeton University Press, 2009), x+ 281 pp. $23.95/£ 16.95 paper. Matthew A. Baum and Tim J. Groeling. War Stories: The Causes and Consequences of Public Views of War (Princeton, NJ: Princeton University Press, 2010), xviii+ 329 pp. [REVIEW]Raymond Fisman, Edward Miguel Economic Gangsters & Violence Corruption - 2011 - The European Legacy 16 (1):143-145.
Gerald E. Sacks. Degrees of unsolvability. Annals of Mathematics studies, no. 55. Lithoprinted. Princeton University Press, Princeton1963, xii + 174 pp. [REVIEW]Gustav B. Hensel - 1964 - Journal of Symbolic Logic 29 (4):202-203.
Weyl Hermann. Philosophy of mathematics and natural science. Revised and augmented English edition based on a translation by Olaf Helmer. Princeton University Press, Princeton 1949, x + 311 S. [REVIEW]Heinrich Scholz - 1950 - Journal of Symbolic Logic 15 (3):206-208.

Analytics

Added to PP
2016-06-30

Downloads
25 (#614,662)

6 months
7 (#425,192)

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