A note to my paper: ``On characterizations of the first-order functional calculus''
Notre Dame Journal of Formal Logic 2 (4):251-252 (1961)
| 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,875 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesJuliusz Reichbach (1961). On Characterizations of the First-Order Functional Calculus. Notre Dame Journal of Formal Logic 2 (1):1-15.
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 (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 (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.
Juliusz Reichbach (1958). On the First-Order Functional Calculus and the Truncation of Models. Studia Logica 7 (1):181 - 220.
J. Reichbach (1955). Completeness of the Functional Calculus of First Order. Studia Logica 2 (1).
Raphael Riel (2012). Pains, Pills and Properties – Functionalism and the First‐Order/Second‐Order Distinction. Dialectica 66 (4):543-562.
David J. Pym (1995). A Note on the Proof Theory the λII-Calculus. Studia Logica 54 (2):199 - 230.
Edward N. Zalta (1997). The Modal Object Calculus and its Interpretation. In M. de Rijke (ed.), Advances in Intensional Logic. Kluwer.
Don Pigozzi & Antonino Salibra (1995). The Abstract Variable-Binding Calculus. Studia Logica 55 (1):129 - 179.
G. B. Keene (1964/1966). First-Order Functional Calculus. New York, Dover Publications.
Robert Klee (1993). The Phrenetic Calculus: A Logician's View of Disordered Logical Thinking in Schizophrenia. Behavior and Philosophy 20:49 - 61.
Leon Henkin (1949). The Completeness of the First-Order Functional Calculus. Journal of Symbolic Logic 14 (3):159-166.
György E. Révész (1988). Lambda-Calculus, Combinators, and Functional Programming. Cambridge University Press.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2010-08-24Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
