Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Yu. L Ershov, S. S. Goncharov, A. Nerode, J. B. Remmel (eds.), Handbookof Recursive Mathematics, Vol. 1 and 2.Amsterdam, The
 

Summary: Yu. L Ershov, S. S. Goncharov, A. Nerode, J. B. Remmel (eds.),
Handbookof Recursive Mathematics, Vol. 1 and 2.Amsterdam, The
Netherlands: Elsevier, Amsterdam 1998.
E. R. Griffor (ed.), Handbookof Computability Theory, Amsterdam,
The Netherlands: Elsevier, 1999.
A. Hodges, Alan Turing: The Enigma, London, UK, Vintage, 1992.
Y. Matiyasevich, Hilbert's Tenth Problem, Cambridge, MA: MIT
Press, 1993.
P. Odifreddi,Classical Recursion Theory, Vol. I and II, Amsterdam,
The Netherlands: North-Holland/Elsevier, 1989 and 1999.
E. L. Post, Solvability, Provability, Definability: The Collected
Works of Emil L. Post Martin Davis, (ed.), Boston, MA: Birkhašuser,
1994.
C. Reid, Hilbert, Berlin, Germany, Springer-Verlag, 1986.
R. Penrose, The Emperor's New Mind: Concerning Computers,
Minds, and the Laws of Physics, Oxford MA: Oxford University
Press, 2002.
H. Rogers, Jr., Theory of Recursive Functions and Effective Com-
putability, Cambridge, MA: MIT Press, 1987.
R. I. Soare, Recursively Enumerable Sets and Degrees, New York:

  

Source: Allender, Eric - Department of Computer Science, Rutgers University

 

Collections: Computer Technologies and Information Sciences