Book review -- Anil Nerode and Richard A. shore, logic for applications
(1995)
| Abstract | This is review of Logic for Applications, by Anil Nerode and Richard A. Shore, published by Springer-Verlag in 1993. | |||||||||
| 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,631 |
| External links |
  Try with proxy. Try with proxy. Try with proxy. |
| Through your library | Configure |
Similar books and articlesRichard A. Shore (2006). Degree Structures: Local and Global Investigations. Bulletin of Symbolic Logic 12 (3):369-389.
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.
Wiebe van der Hoek (1998). Logic for Applications, Anil Nerode and Richard A. Shore. Journal of Logic, Language and Information 7 (2):228-229.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads6 ( #145,407 of 548,972 )Recent downloads (6 months)1 ( #63,511 of 548,972 )How can I increase my downloads? |
My notes
Discussion
