Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1002/malq.19680141302
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 56,972
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Introduction to Mathematical Logic.ALONZO CHURCH - 1944 - London: Oxford University PRess.
Introduction to Mathematical Logic.Max Black - 1956 - Journal of Symbolic Logic 22 (3):286-289.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

A Single Axiom for Set Theory.David Bennett - 2000 - Notre Dame Journal of Formal Logic 41 (2):152-170.
A Single Axiom for a Partial System of the Propositional Calculus.Alan Rose - 1955 - Mathematical Logic Quarterly 1 (3):196-197.
A Shortest Single Axiom for the Classical Equivalential Calculus.John A. Kalman - 1978 - Notre Dame Journal of Formal Logic 19 (1):141-144.


Added to PP index

Total views
36 ( #283,486 of 2,410,110 )

Recent downloads (6 months)
1 ( #541,624 of 2,410,110 )

How can I increase my downloads?


My notes