Journal of Symbolic Logic 41 (2):551-560 (1976)

Donald A. Martin
University of California, Los Angeles
William W. Tait
University of Chicago
Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1017/s0022481200051665
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: 53,645
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

Logic: Techniques of Formal Reasoning. [REVIEW]J. R. Cameron - 1967 - Philosophical Quarterly 17 (66):81.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Chicago 1967 Meeting of the Association for Symbolic Logic.W. W. Tait - 1971 - Journal of Symbolic Logic 36 (2):359-368.
Meeting of the Association for Symbolic Logic, Chicago, 1989.Kenneth Manders - 1990 - Journal of Symbolic Logic 55 (1):436-445.


Added to PP index

Total views
13 ( #691,773 of 2,349,084 )

Recent downloads (6 months)
1 ( #512,311 of 2,349,084 )

How can I increase my downloads?


My notes