William Craig. Bases for first-order theories and subtheories. The journal of symbolic logic, vol. 25 no. 2 , pp. 97–142

Journal of Symbolic Logic 37 (3):616 (1972)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272783

Links

PhilArchive



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

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

Bases for first-order theories and subtheories.William Craig - 1960 - Journal of Symbolic Logic 25 (2):97-142.
The road to two theorems of logic.William Craig - 2008 - Synthese 164 (3):333 - 339.
Logic in Algebraic Form. Three Languages and Theories.Stephen D. Comer - 1977 - Journal of Symbolic Logic 42 (1):108-109.
Review: Raymond M. Smullyan, First-order Logic. [REVIEW]William Craig - 1975 - Journal of Symbolic Logic 40 (2):237-238.
Review: William Craig, Logic in Algebraic Form. Three Languages and Theories. [REVIEW]Stephen D. Comer - 1977 - Journal of Symbolic Logic 42 (1):108-109.
Logic in Algebraic Form: Three Languages and Theories.Stephen D. Comer - 1974 - New York, NY, USA: American Elsevier.
Raymond M. Smullyan. First-order logic. Ergebnisse der Mathematik und ihrer Grenzgebiete, vol. 43, Springer-Verlag, Berlin, Heidelberg, and New York, 1968, XII + 158 pp. [REVIEW]William Craig - 1975 - Journal of Symbolic Logic 40 (2):237-238.
Satisfaction for n-th order languages defined in n-th order languages.William Craig - 1965 - Journal of Symbolic Logic 30 (1):13-25.
Hailperin Theodore. Remarks on identity and description in first-order axiom systems. [REVIEW]William Craig - 1955 - Journal of Symbolic Logic 20 (1):81-83.
Review: Theodore Hailperin, Remarks on Identity and Description in First-Order Axiom Systems. [REVIEW]William Craig - 1955 - Journal of Symbolic Logic 20 (1):81-83.
Craig's theorem and syntax of abstract logics.Jouko Vaananen - 1982 - Bulletin of the Section of Logic 11 (1-2):82-83.
Eighteenth meeting of the association for symbolic logic.William Craig - 1955 - Journal of Symbolic Logic 20 (2):200-206.
Review: Haskell B. Curry, Foundations of Mathematical Logic. [REVIEW]William Craig - 1973 - Journal of Symbolic Logic 38 (1):149-149.
Provability in finite subtheories of pa and relative interpretability: A modal investigation.Franco Montagna - 1987 - Journal of Symbolic Logic 52 (2):494-511.
On axiomatizability within a system.William Craig - 1953 - Journal of Symbolic Logic 18 (1):30-32.

Analytics

Added to PP
2016-06-30

Downloads
16 (#930,342)

6 months
1 (#1,508,101)

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