Stanley Robert L.. Simplified foundations for mathematical logic

Journal of Symbolic Logic 21 (3):322-323 (1956)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2269133

Links

PhilArchive



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

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: Robert L. Stanley, Simplified Foundations for Mathematical Logic. [REVIEW]Steven Orey - 1956 - Journal of Symbolic Logic 21 (3):322-323.
Simplified foundations for mathematical logic.Robert L. Stanley - 1955 - Journal of Symbolic Logic 20 (2):123-139.
Constructive Logic with Strong Negation is a Substructural Logic. I.Matthew Spinks & Robert Veroff - 2008 - Studia Logica 88 (3):325-348.
Wang Hao. Some partial systems. A survey of mathematical logic, Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 507–534. [REVIEW]Steven Orey - 1965 - Journal of Symbolic Logic 30 (1):100-101.
Wang Hao. The predicate calculus. A survey of mathematical logic. Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 307–321. [REVIEW]Steven Orey - 1963 - Journal of Symbolic Logic 28 (3):250-250.
Wang Hao. Different axiom systems. A survey of mathematical logic, Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 383–431. [REVIEW]Steven Orey - 1964 - Journal of Symbolic Logic 29 (4):208-208.
Wang Hao. Ackermann's consistency proof. A survey of mathematical logic, Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 362–375. [REVIEW]Steven Orey - 1964 - Journal of Symbolic Logic 29 (2):106-106.
A course in mathematical logic.J. L. Bell - 1977 - New York: sole distributors for the U.S.A. and Canada American Elsevier Pub. Co.. Edited by Moshé Machover.
Wang Hao. Partial systems of number theory. A survey of mathematical logic, Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 376–382. [REVIEW]Steven Orey - 1964 - Journal of Symbolic Logic 29 (3):147-147.
Wang Hao. Some formal details on predicative set theories. A survey of mathematical logic, Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 585–623. [REVIEW]Steven Orey - 1965 - Journal of Symbolic Logic 30 (2):250-250.
A Completeness Proof of Kiczuk’s Logic of Physical Change.Robert Trypuz - 2010 - Studia Logica 95 (1-2):139-159.
Wang Hao. Circuit synthesis by solving sequential Boolean equations. A survey of mathematical logic, Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 269–305. [REVIEW]Steven Orey - 1965 - Journal of Symbolic Logic 30 (2):249-249.
Mathematical Foundations and Computational Methods for a Digital Logic Machine.Robert S. Ledley - 1955 - Journal of Symbolic Logic 20 (2):195-197.
2-CNFS and Logical Embeddings.Robert Cowen - 2009 - Studia Logica 93 (1):15-19.
Wang Hao. Eighty years of foundational studies. A survey of mathematical logic, Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 34–56. A reprint of XXVIII 173. [REVIEW]Steven Orey - 1963 - Journal of Symbolic Logic 28 (4):288-288.

Analytics

Added to PP
2016-06-30

Downloads
7 (#1,387,520)

6 months
1 (#1,471,551)

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