The completeness of the first-order functional calculus
Journal of Symbolic Logic 14 (3):159-166 (1949)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,705 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesAngelo Margaris (1967/1990). First Order Mathematical Logic. Dover Publications.
Andrzej Wiśniewski & Vasilyi Shangin (2006). Socratic Proofs for Quantifiers★. Journal of Philosophical Logic 35 (2):147 - 178.
Adriana Galli, Marta Sagastume & Gonzalo E. Reyes (2000). Completeness Theorems Via the Double Dual Functor. Studia Logica 64 (1):61-81.
Henri Galinon (2009). A Note on Generalized Functional Completeness in the Realm of Elementrary Logic. Bulletin of the Section of Logic 38 (1):1-9.
Juliusz Reichbach (1965). On the Connection of the First-Order Functional Calculus with $\Aleph_0}$ Propositional Calculus. Notre Dame Journal of Formal Logic 6 (1):73-80.
Don Pigozzi & Antonino Salibra (1995). The Abstract Variable-Binding Calculus. Studia Logica 55 (1):129 - 179.
Jerzy Słupecki & Witold A. Pogorzeilski (1961). A Variant of the Proof of the Completeness of the First Order Functional Calculus. Studia Logica 12 (1):125 - 134.
J. Reichbach (1955). Completeness of the Functional Calculus of First Order. Studia Logica 2 (1).
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads27 ( #45,835 of 549,196 )Recent downloads (6 months)2 ( #37,418 of 549,196 )How can I increase my downloads? |
My notes
Discussion
