Logic for applications, Anil Nerode and Richard A. shore
Journal of Logic, Language and Information 7 (2):228-229 (1998)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,672 |
| External links |
|
| Through your library | Configure |
Richard A. Shore (1990). Annual Meeting of the Association for Symbolic Logic, Los Angeles, 1989. Journal of Symbolic Logic 55 (1):372-386.
Richard A. Shore (1974). Σn Sets Which Are Δn-Incomparable (Uniformly). Journal of Symbolic Logic 39 (2):295 - 304.
Richard A. Shore (1997). Alonzo Church. Bulletin of Symbolic Logic 3 (2):153.
Richard A. Shore (2003). The Reviews. Bulletin of Symbolic Logic 9 (1):1-2.
Anil Nerode & K. J. Barwise (1973). Meeting of the Association for Symbolic Logic. Journal of Symbolic Logic 38 (2):348-358.
Anil Nerode & Alfred B. Manaster (1970). A Universal Embedding Property of the RETs. Journal of Symbolic Logic 35 (1):51-59.
Anil Nerode (2009). In Memoriam: Paul J. Cohen, 1934—2007. Bulletin of Symbolic Logic 15 (4):439-440.
Anil Nerode & Richard A. Shore (eds.) (1985). Recursion Theory. American Mathematical Society.
Richard A. Shore (2006). Degree Structures: Local and Global Investigations. Bulletin of Symbolic Logic 12 (3):369-389.
Monthly downloads |
Added to index2009-01-28Total downloads4 ( #178,585 of 549,068 )Recent downloads (6 months)0How can I increase my downloads? |

