Journal of Symbolic Logic 33 (4):549-559 (1968)

Authors
Abstract
Generally speaking, it appears correct to say that in a formulation of first order logic in which a large number of connectives are taken as primitive which allows us to have our cake and eat it too.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
Reprint years 1969
DOI 10.2307/2271361
Options
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,013
Through your library

References found in this work BETA

First-Order Logic.William Craig - 1975 - Journal of Symbolic Logic 40 (2):237-238.
The Foundations of Mathematics.Charles Parsons & Evert W. Beth - 1961 - Philosophical Review 70 (4):553.
Introduction to Metamathematics.H. Rasiowa - 1954 - Journal of Symbolic Logic 19 (3):215-216.
Beweistheorie.[author unknown] - 1960 - Journal of Symbolic Logic 25 (3):243-249.

Add more references

Citations of this work BETA

Add more citations

Similar books and articles

Analytics

Added to PP index
2009-01-28

Total views
26 ( #381,497 of 2,344,162 )

Recent downloads (6 months)
2 ( #332,321 of 2,344,162 )

How can I increase my downloads?

Downloads

My notes