Completeness of the functional calculus of first order
Studia Logica 2 (1) (1955)
| 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,709 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesJuliusz Reichbach (1964). A Note About Connection of the First-Order Functional Calculus with Many-Valued Propositional Calculi. Notre Dame Journal of Formal Logic 5 (2):158-160.
Juliusz Reichbach (1961). A Note to My Paper: ``On Characterizations of the First-Order Functional Calculus''. Notre Dame Journal of Formal Logic 2 (4):251-252.
Juliusz Reichbach (1968). A Note on Theses of the First-Order Functional Calculus. Notre Dame Journal of Formal Logic 9 (4):335-339.
Juliusz Reichbach (1961). On Characterizations of the First-Order Functional Calculus. Notre Dame Journal of Formal Logic 2 (1):1-15.
Juliusz Reichbach (1958). On the First-Order Functional Calculus and the Truncation of Models. Studia Logica 7 (1):181 - 220.
Don Pigozzi & Antonino Salibra (1995). The Abstract Variable-Binding Calculus. Studia Logica 55 (1):129 - 179.
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.
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.
Leon Henkin (1949). The Completeness of the First-Order Functional Calculus. Journal of Symbolic Logic 14 (3):159-166.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
