Extended canonical systems
HTML articles powered by AMS MathViewer
- by Raymond M. Smullyan PDF
- Proc. Amer. Math. Soc. 12 (1961), 440-442 Request permission
References
- Emil L. Post, Formal reductions of the general combinatorial decision problem, Amer. J. Math. 65 (1943), 197–215. MR 7893, DOI 10.2307/2371809
- Paul C. Rosenbloom, The Elements of Mathematical Logic, Dover Publications, Inc., New York, N.Y., 1950. MR 0041070
- Raymond M. Smullyan, Theory of formal systems, Annals of Mathematics Studies, No. 47, Princeton University Press, Princeton, N.J., 1961. MR 0121300
Additional Information
- © Copyright 1961 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 12 (1961), 440-442
- MSC: Primary 02.70
- DOI: https://doi.org/10.1090/S0002-9939-1961-0125795-1
- MathSciNet review: 0125795