Types of order and the system σ
Philosophical Review 25 (3):407-419 (1916)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| Options |
|
|||||||||
| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,875 |
| External links |
|
| Through your library | Configure |
Michel van de Kerchove (1993). The Legal System Between Order and Disorder. Oxford University Press.
David J. Pym (1995). A Note on the Proof Theory the λII-Calculus. Studia Logica 54 (2):199 - 230.
Martin Hofmann (1997). An Application of Category-Theoretic Semantics to the Characterisation of Complexity Classes Using Higher-Order Function Algebras. Bulletin of Symbolic Logic 3 (4):469-486.
Mauro Avon (2011). A Different Approach to Logic. Dissertation,
Miltiadis Kokkonidis (2008). First-Order Glue. Journal of Logic, Language and Information 17 (1).
William M. Farmer (1990). A Partial Functions Version of Church's Simple Theory of Types. Journal of Symbolic Logic 55 (3):1269-1291.
Stephen E. Newstead (2000). Are There Two Different Types of Thinking? Behavioral and Brain Sciences 23 (5):690-691.
Monthly downloads |
Added to index2009-01-28Total downloads5 ( #162,017 of 556,840 )Recent downloads (6 months)1 ( #64,931 of 556,840 )How can I increase my downloads? |

