Elementary formal systems

Raymond M. SMULLYAN

doi:10.2969/jmsj/01310038

Raymond M. SMULLYAN

Author information

JOURNAL FREE ACCESS

1961 Volume 13 Issue 1 Pages 38-44

DOI https://doi.org/10.2969/jmsj/01310038

Details

Published: 1961 Received: April 18, 1960 Available on J-STAGE: August 29, 2006 Accepted: - Advance online publication: - Revised: -
Correction information
Date of correction: August 29, 2006 Reason for correction: - Correction: CITATION Details: Wrong : 1) Smullyan, R. M., Theory of formal systems, Doctoral Dissertation, Princeton, May 1959 - also issued as M. I. T. Lincoln Laboratory group report 54-5, April 1959. Accepted for pubication by the Princeton University Press as an Annals of Mathematics Study.
2) Post, F., Formal reductions of the general combinatorial decision problem, Amer. J. Math., 65 (1943), 192-215.
3) Rosenboom, P. C., The elements of mathematical logic, Dover Publ. Inc., 1950, Chapter IV.
4) Markov, A. A., Teoriya algorifmov, (Theory of algorithms.) Trudy Mat. Inst. Steklov, No. 42. Moscow, 1954.
5) Lorenzen, P., Einführung in die operative Logik and Mathematik, Berlin-Göt-tingen-Heidelberg, 1955.
6) Smullyan, R. M., Languages in which self-reference is possible, J. Symbolic Logic, 22, 55-67.
7) Smullyan, R. M., Recursive logics, J. Symbolic Logic 21, 122.

Right : [1] Smullyan, R. M., Theory of formal systems, Doctoral Dissertation, Princeton, May 1959 - also issued as M. I. T. Lincoln Laboratory group report 54-5, April 1959. Accepted for pubication by the Princeton University Press as an Annals of Mathematics Study.
[2] Post, E., Formal reductions of the general combinatorial decision problem, Amer. J. Math., 65 (1943), 192-215.
[3] Rosenboom, P. C., The elements of mathematical logic, Dover Publ. Inc., 1950, Chapter IV.
[4] Markov, A. A., Teoriya algorifmov, (Theory of algorithms.) Trudy Mat. Inst. Steklov, No. 42. Moscow, 1954.
[5] Lorenzen, P., Einführung in die operative Logik und Mathematik, Berlin-Göttingen-Heidelberg, 1955.
[6] Smullyan, R. M., Languages in which self-reference is possible, J. Symbolic Logic, 22, 55-67.
[7] Smullyan, R. M., Recursive logics, J. Symbolic Logic 21, 122.

Date of correction: August 29, 2006 Reason for correction: - Correction: PDF FILE Details: -

Corresponding author

Correction information

Register with J-STAGE for free!