Raymond M. Smullyan. Elementary formal systems. Journal of the Mathematical Society of Japan, vol. 13 , pp. 38–44

Journal of Symbolic Logic 34 (1):117 (1969)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2270996

Links

PhilArchive



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

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: Raymond M. Smullyan, Elementary Formal Systems. [REVIEW]Ann S. Ferebee - 1969 - Journal of Symbolic Logic 34 (1):117-117.
Elementary Formal Systems.Raymond M. Smullyan - 1969 - Journal of Symbolic Logic 34 (1):117-117.
Monadic Elementary Formal Systems.Raymond M. Smullyan - 1961 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 7 (6):81-83.
Theory of Formal Systems.Raymond M. Smullyan - 1965 - Journal of Symbolic Logic 30 (1):88-90.
Review: Raymond M. Smullyan, Theory of Formal Systems. [REVIEW]Marian Boykan Pour-El - 1965 - Journal of Symbolic Logic 30 (1):88-90.
To Mock a Mockingbird: And Other Logic Puzzles.Raymond M. Smullyan - 1985 - New York: Oxford University Press.
Solving Smullyan Puzzles with Formal Systems.José Félix Costa & Diogo Poças - 2018 - Axiomathes 28 (2):181-199.
Uniform Gentzen systems.Raymond M. Smullyan - 1968 - Journal of Symbolic Logic 33 (4):549-559.
On Post's Canonical Systems.Raymond M. Smullyan - 1968 - Journal of Symbolic Logic 33 (4):623-623.
Extended Canonical Systems.Raymond M. Smullyan - 1967 - Journal of Symbolic Logic 32 (4):524-524.
On post's canonical systems.Raymond M. Smullyan - 1962 - Journal of Symbolic Logic 27 (1):55-57.
Mind Tools. The Five Levels of Mathematical Reality.Raymond M. Smullyan & Rudy Rucker - 1988 - Journal of Symbolic Logic 53 (4):1254.
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]James H. Bennett - 1967 - Journal of Symbolic Logic 32 (4):524-524.
Book Review: Raymond M. Smullyan and Melvin Fitting. Set Theory and the Continuum Problem. [REVIEW]Stephen Pollard - 1997 - Notre Dame Journal of Formal Logic 38 (3):475-480.

Analytics

Added to PP
2016-06-30

Downloads
17 (#866,557)

6 months
2 (#1,192,898)

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