A Proof of the Inconsistency of Quine's System "Mathematical Logic."

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

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2269132

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,991

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

A proof of the inconsistency of Quine's system "Mathematical Logic ".Alonzo Church - 1955 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 3 (1):135-136.
Christian Curt. A proof of the inconsistency of Quine's system “Mathematical logic .” Theoria , vol. 3 no. 9 , pp. 135–136. [REVIEW]Alonzo Church - 1956 - Journal of Symbolic Logic 21 (3):322-322.
Review: Alonzo Church, Mathematical Logic. [REVIEW]H. B. Curry - 1937 - Journal of Symbolic Logic 2 (1):39-40.
Review: Alonzo Church, Introduction to Mathematical Logic. [REVIEW]Max Black - 1957 - Journal of Symbolic Logic 22 (3):286-289.
Review: Alonzo Church, Introduction to Mathematical Logic. [REVIEW]S. C. Kleene - 1958 - Journal of Symbolic Logic 23 (3):362-362.
Review: Alonzo Church, Elementary Topics in Mathematical Logic. [REVIEW]Morton G. White - 1942 - Journal of Symbolic Logic 7 (2):91-92.
Review: Alonzo Church, Introduction to Mathematical Logic. Part I. [REVIEW]G. D. W. Berry - 1945 - Journal of Symbolic Logic 10 (1):19-21.
Church Alonzo. Introduction to mathematical logic. Volume I. Princeton mathematical series, no. 17. Princeton University Press, Princeton 1956, x + 376 pp. [REVIEW]Max Black - 1957 - Journal of Symbolic Logic 22 (3):286-289.
Church Alonzo. Introduction to mathematical logic. Volume I. Second printing. Princeton University Press, Princeton 1958, x + 378 pp. [REVIEW]S. C. Kleene - 1958 - Journal of Symbolic Logic 23 (3):362-362.
Church Alonzo. On the concept of a random sequence. Bulletin of the American Mathematical Society, vol. 46 , pp. 130–135. [REVIEW]Arthur H. Copeland - 1940 - Journal of Symbolic Logic 5 (2):71-72.

Analytics

Added to PP
2017-02-21

Downloads
3 (#1,727,655)

6 months
1 (#1,515,053)

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