Simplified foundations for mathematical logic

Journal of Symbolic Logic 20 (2):123-139 (1955)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2266898

Other Versions

reprint Stanley, Robert L. (1956) "Simplified Foundations for Mathematical Logic". Journal of Symbolic Logic 21(3):322-323

Links

PhilArchive

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

Stanley Robert L.. Simplified foundations for mathematical logic.Steven Orey - 1956 - Journal of Symbolic Logic 21 (3):322-323.
Stanley Robert L.. A theory of subjunctive conditionals. Philosophy and phenomenological research, vol. 17, pp. 22–35.Robert L. Stanley - 1957 - Journal of Symbolic Logic 22 (3):324-325.
Stanley Robert. An extended procedure in quantificational logic.Robert Stanley - 1956 - Journal of Symbolic Logic 21 (2):197-197.
Robert S. Ledley. Mathematical foundations and computational methods for a digital logic machine. Journal of the Operations Research Society of America, vol. 2 , pp. 249–274.Raymond J. Nelson - 1955 - Journal of Symbolic Logic 20 (2):195-197.
Richard L. Epstein. Classical mathematical logic. The semantic foundations of logic. With contributions by Lesław W. Szczerba. Princeton University Press, Princeton and Oxford, 2006, xxii + 522 pp. [REVIEW]H. B. Enderton - 2007 - Bulletin of Symbolic Logic 13 (4):540-541.
Robert L. Davis. The number of structures of finite relations. Proceedings of the American Mathematical Society, vol. 4 , pp. 486–495. [REVIEW]David Miller - 1974 - Journal of Symbolic Logic 39 (2):341.
Robert L. Constable. Types in logic, mathematics and programming. Handbook of proof theory, edited by Samuel R. Buss, Studies in logic and the foundations of mathematics, vol. 137, Elsevier, Amsterdam etc. 1998, pp. 683–786.Robert L. Constable - 2000 - Bulletin of Symbolic Logic 6 (4):476-477.
Foundations of Logic Programming.J. W. Lloyd - 1987 - Journal of Symbolic Logic 52 (1):288-289.
Foundations of Mathematical Logic.William Craig - 1963 - Journal of Symbolic Logic 45 (2):377-378.
Classical Mathematical Logic. The Semantic Foundations of Logic.Richard L. Epstein - 2007 - Bulletin of Symbolic Logic 13 (4):540-541.

Analytics

Added to PP
2009-01-28

Downloads
181 (#224,553)

6 months
61 (#148,954)

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

Mathematical Logic.Morton G. White & Willard Van Orman Quine - 1942 - Philosophical Review 51 (1):74.

Add more references