Mathematical Logic as Based on the Theory of Types
American Journal of Mathematics 30:222-262 (1908)
| 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 | This entry has no external links. Add one. |
| Through your library | Configure |
Similar books and articlesSamuel R. Buss, Alexander S. Kechris, Anand Pillay & Richard A. Shore (2001). The Prospects for Mathematical Logic in the Twenty-First Century. Bulletin of Symbolic Logic 7 (2):169-196.
Frank O. Wagner (2004). Some Remarks on One-Basedness. Journal of Symbolic Logic 69 (1):34-38.
Reinhard Muskens (1989). A Relational Formulation of the Theory of Types. Linguistics and Philosophy 12 (3):325 - 346.
Bertrand Russell (1906). On Some Difficulties in the Theory of Transfinite Numbers and Order Types. Proceedings of the London Mathematical Society 4:29-53.
John N. Crossley (ed.) (1972/1990). What is Mathematical Logic? Dover Publications.
William M. Farmer (1990). A Partial Functions Version of Church's Simple Theory of Types. Journal of Symbolic Logic 55 (3):1269-1291.
Frank Gerald Bruner (1943). Mathematical Logic with Transfinite Types. [Chicago]Priv. Print..
Xu Yibao (2003). Bertrand Russell and the Introduction of Mathematical Logic in China. History and Philosophy of Logic 24 (3):181-196.
Hao Wang (1981/1993). Popular Lectures on Mathematical Logic. Dover Publications.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2010-08-17Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
