Schröder's anticipation of the simple theory of types
Erkenntnis 8 (1):407 - 411 (1976)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,679 |
| 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.
Joachim SchrÖder (1997). A Simple Irredundance Test for Tautological Sequents. Erkenntnis 46 (2):175-183.
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.
Mark H. Bickhard (2001). Function, Anticipation, Representation. AIP Conference Proceedings 573:459-469.
William M. Farmer (1990). A Partial Functions Version of Church's Simple Theory of Types. Journal of Symbolic Logic 55 (3):1269-1291.
Anand Pillay (1998). Definability and Definable Groups in Simple Theories. Journal of Symbolic Logic 63 (3):788-796.
Alonzo Church (1940). A Formulation of the Simple Theory of Types. Journal of Symbolic Logic 5 (2):56-68.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads15 ( #78,648 of 549,088 )Recent downloads (6 months)1 ( #63,317 of 549,088 )How can I increase my downloads? |
My notes
Discussion
