110428870
2006-11-03
2020-05-01T08:39:31
Logic for applications / Anil Nerode, Richard A. Shore. - 2nd edition : Springer, cop. 1997. - (Graduate texts in computer science)
http://authorities.loc.gov/cgi-bin/Pwebrecon.cgi?DB=local&PAGE=First.
http://www.math.cornell.edu/~shore/index.html
0000000109007813
Shore, Richard A. (1946-....)
Shore, Richard A.
Shore
Richard A.
1946
Logic for applications / Anil Nerode, Richard A. Shore / Second edition / New York : Springer , cop. 1997
Induction, bounding, weak combinatorial principles, and the homogeneous model theorem / Denis R. Hirschfeldt, Karen Lange, Richard A. Shore / Providence (R.I.) : American Mathematical Society
Induction, bounding, weak combinatorial principles, and the homogeneous model theorem / Denis R. Hirschfeldt, Karen Lange, Richard A. Shore / Providence (R.I.) : American Mathematical Society
Logic for applications / Anil Nerode, Richard A. Shore / New York : Springer-Verlag , cop. 1993
Computability theory and its applications : current trends and open problems : proceedings of a 1999 AMS-IMS-SIAM joint summer research conference, computability theory and applications, June 13-17, 1999, University of Colorado, Boulder / Peter A. Cholak, Steffen Lempp, Manuel Lerman ... [et al.], editors / Providence (R.I.) : American Mathematical Society , 2012
Recursion theory / [edited by Anil Nerode, Richard A. Shore] / Providence, R.I. : American Mathematical Society , cop. 1985
Recursion theory / [edited by Anil Nerode, Richard A. Shore] / Providence (R.I.) : American Mathematical Society , 2012
Computability theory and its applications : current trends and open problems : proceedings of a 1999 AMS-IMS-SIAM joint summer research conference, computability theory and applications, June 13-17, 1999, University of Colorado, Boulder / Peter A. Cholak, Steffen Lempp, Manuel Lerman ... [et al.], editors / Providence (R.I.) : American Mathematical Society