A formulation of the simple theory of types
Journal of Symbolic Logic 5 (2):56-68 (1940)
| 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,631 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesAndré Fuhrmann (2002). Russell's Way Out of the Paradox of Propositions. History and Philosophy of Logic 23 (3):197-213.
André Fuhrmann (2002). Russell's Way Out of the Paradox of Propositions. History and Philosophy of Logic 23 (3):197-213.
G. Landini (2011). Logicism and the Problem of Infinity: The Number of Numbers. Philosophia Mathematica 19 (2):167-212.
A. Pillay (1989). A Note on Subgroups of the Automorphism Group of a Saturated Model, and Regular Types. Journal of Symbolic Logic 54 (3):858-864.
Reinhard Muskens (1989). A Relational Formulation of the Theory of Types. Linguistics and Philosophy 12 (3):325 - 346.
Anand Pillay (1998). Definability and Definable Groups in Simple Theories. Journal of Symbolic Logic 63 (3):788-796.
Alonzo Church (1976). Schröder's Anticipation of the Simple Theory of Types. Erkenntnis 8 (1):407 - 411.
William M. Farmer (1990). A Partial Functions Version of Church's Simple Theory of Types. Journal of Symbolic Logic 55 (3):1269-1291.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads19 ( #64,257 of 548,973 )Recent downloads (6 months)3 ( #25,799 of 548,973 )How can I increase my downloads? |
My notes
Discussion
