Computability theory : an introduction to recursion theory /
Computability Theory: An Introduction to Recursion Theory, provides a concise, comprehensive, and authoritative introduction to contemporary computability theory, techniques, and results. The basic concepts and techniques of computability theory are placed in their historical, philosophical and logi...
| Main Author: | Enderton, Herbert B. |
|---|---|
| Corporate Author: | ScienceDirect (Online service) |
| Format: | eBook |
| Language: | English |
| Published: |
Amsterdam ; Boston :
Academic Press,
[2011]
|
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Similar Items
Computability theory : an introduction to recursion theory /
by: Enderton, Herbert B.
Published: (2011)
by: Enderton, Herbert B.
Published: (2011)
Computability, an introduction to recursive function theory /
by: Cutland, Nigel
Published: (1980)
by: Cutland, Nigel
Published: (1980)
Recursion theory /
Published: (1985)
Published: (1985)
Recursion theory for metamathematics /
by: Smullyan, Raymond M.
Published: (2020)
by: Smullyan, Raymond M.
Published: (2020)
Recursive functions in computer theory /
by: Péter, Rózsa, 1905-1977
Published: (1981)
by: Péter, Rózsa, 1905-1977
Published: (1981)
Algebraic recursion theory /
by: Ivanov, L. L. (Ljubomir Lalov), 1952-
Published: (1986)
by: Ivanov, L. L. (Ljubomir Lalov), 1952-
Published: (1986)
Higher recursion theory /
by: Sacks, Gerald E.
Published: (1990)
by: Sacks, Gerald E.
Published: (1990)
Recursion theory for metamathematics /
by: Smullyan, Raymond M.
Published: (1993)
by: Smullyan, Raymond M.
Published: (1993)
Fundamentals of generalized recursion theory /
by: Fitting, Melvin, 1942-
Published: (1981)
by: Fitting, Melvin, 1942-
Published: (1981)
General recursion theory : an axiomatic approach /
by: Fenstad, Jens Erik
Published: (1980)
by: Fenstad, Jens Erik
Published: (1980)
Recursive analysis /
Published: (1961)
Published: (1961)
Generalized recursion theory : Proceedings of the 1972 Oslo symposium /
Published: (1974)
Published: (1974)
Recursion Theory : Lecture Notes in Logic 1 /
by: Shoenfield, Joseph R.
Published: (2018)
by: Shoenfield, Joseph R.
Published: (2018)
Classical recursion theory : the theory of functions and sets of natural numbers /
by: Odifreddi, Piergiorgio, 1950-
Published: (1989)
by: Odifreddi, Piergiorgio, 1950-
Published: (1989)
Recursion theory /
by: Shoenfield, Joseph R. (Joseph Robert), 1927-
Published: (1993)
by: Shoenfield, Joseph R. (Joseph Robert), 1927-
Published: (1993)
Generalized recursion theory II : proceedings of the 1977 Oslo symposium /
Published: (1978)
Published: (1978)
Classical recursion theory : the theory of functions and sets of natural numbers /
by: Odifreddi, Piergiorgio, 1950-
Published: (1992)
by: Odifreddi, Piergiorgio, 1950-
Published: (1992)
Recursive functionals /
by: Sanchis, Luis E.
Published: (1992)
by: Sanchis, Luis E.
Published: (1992)
Generalized recursion theory II : proceedings of the 1977 Oslo Symposium /
Published: (1978)
Published: (1978)
Classical recursion theory : the theory of functions and sets of natural numbers /
by: Odifreddi, Piergiorgio, 1950-
Published: (1989)
by: Odifreddi, Piergiorgio, 1950-
Published: (1989)
Recursion-theoretic hierarchies /
by: Hinman, Peter G.
Published: (1978)
by: Hinman, Peter G.
Published: (1978)
Fundamentals of generalized recursion theory /
by: Fitting, Melvin, 1942-
Published: (1981)
by: Fitting, Melvin, 1942-
Published: (1981)
Algorithm design : a recursion transformation framework /
by: Paull, Marvin C.
Published: (1988)
by: Paull, Marvin C.
Published: (1988)
Finitely axiomatizable theories /
by: Pereti͡atʹkin, M. G.
Published: (1997)
by: Pereti͡atʹkin, M. G.
Published: (1997)
Regressive sets and the theory of isols /
by: McLaughlin, Thomas G.
Published: (1982)
by: McLaughlin, Thomas G.
Published: (1982)
Computable analysis /
by: Aberth, Oliver
Published: (1980)
by: Aberth, Oliver
Published: (1980)
Computable analysis : an introduction /
by: Weihrauch, K. (Klaus), 1943-
Published: (2000)
by: Weihrauch, K. (Klaus), 1943-
Published: (2000)
Recursive functionals /
by: Sanchis, Luis E.
Published: (1992)
by: Sanchis, Luis E.
Published: (1992)
Subrecursion : functions and hierarchies /
by: Rose, H. E.
Published: (1984)
by: Rose, H. E.
Published: (1984)
Handbook of recursive mathematics /
Published: (1998)
Published: (1998)
Super-recursive algorithms /
by: Burgin, M. S. (Mark Semenovich)
Published: (2005)
by: Burgin, M. S. (Mark Semenovich)
Published: (2005)
Formal systems and recursive functions /
Published: (1965)
Published: (1965)
Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznan-Kornik, Poland, September 19-23, 1977 /
Published: (1977)
Published: (1977)
Computational prospects of infinity /
Published: (2008)
Published: (2008)
The foundations of intuitionistic mathematics : especially in relation to recursive functions /
by: Kleene, Stephen Cole, 1909-1994
Published: (1965)
by: Kleene, Stephen Cole, 1909-1994
Published: (1965)
Recursively enumerable sets and degrees : a study of computable functions and computably generated sets /
by: Soare, R. I. (Robert Irving), 1940-
Published: (1987)
by: Soare, R. I. (Robert Irving), 1940-
Published: (1987)
Recursion theory and computational complexity : lectures given at a summer school of the Centro internazionale matematico estivo (C.I.M.E.) held in Bressanone (Bolzano), Italy, June 14-23, 1979 /
Published: (2010)
Published: (2010)
Aspects of incompleteness /
by: Lindström, Per, 1936-2009
Published: (2003)
by: Lindström, Per, 1936-2009
Published: (2003)
Reflexive structures : an introduction to computability theory /
by: Sanchis, Luis E.
Published: (1988)
by: Sanchis, Luis E.
Published: (1988)
Computability /
by: Weihrauch, K. (Klaus), 1943-
Published: (1987)
by: Weihrauch, K. (Klaus), 1943-
Published: (1987)