Computable analysis /

Generalized recursion theory : Proceedings of the 1972 Oslo symposium /
Published: (1974)

Recursion Theory : Lecture Notes in Logic 1 /
by: Shoenfield, Joseph R.
Published: (2018)

Classical recursion theory : the theory of functions and sets of natural numbers /
by: Odifreddi, Piergiorgio, 1950-
Published: (1992)

Generalized recursion theory II : proceedings of the 1977 Oslo Symposium /
Published: (1978)

Recursive functions in computer theory /
by: Péter, Rózsa, 1905-1977
Published: (1981)

Computability, an introduction to recursive function theory /
by: Cutland, Nigel
Published: (1980)

Recursion theory for metamathematics /
by: Smullyan, Raymond M.
Published: (2020)

Subrecursion : functions and hierarchies /
by: Rose, H. E.
Published: (1984)

Diagonalization and self-reference /
by: Smullyan, Raymond M.
Published: (1994)

Computability theory : an introduction to recursion theory /
by: Enderton, Herbert B.
Published: (2011)

General recursion theory : an axiomatic approach /
by: Fenstad, Jens Erik
Published: (1980)

Recursion theory /
Published: (1985)

Recursion theory for metamathematics /
by: Smullyan, Raymond M.
Published: (1993)

Higher recursion theory /
by: Sacks, Gerald E.
Published: (1990)

Algebraic recursion theory /
by: Ivanov, L. L. (Ljubomir Lalov), 1952-
Published: (1986)

Fundamentals of generalized recursion theory /
by: Fitting, Melvin, 1942-
Published: (1981)

Elementary induction on abstract structures /
by: Moschovakis, Yiannis N.
Published: (1974)

Fundamentals of mathematical logic /
by: Hinman, Peter G.
Published: (2005)

Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznan-Kornik, Poland, September 19-23, 1977 /
Published: (1977)

Recursion-theoretic hierarchies /
by: Hinman, Peter G.
Published: (1978)

Finitely axiomatizable theories /
by: Pereti͡atʹkin, M. G.
Published: (1997)

Algorithm design : a recursion transformation framework /
by: Paull, Marvin C.
Published: (1988)

Generalized recursion theory II : proceedings of the 1977 Oslo symposium /
Published: (1978)

Computational prospects of infinity /
Published: (2008)

Classical recursion theory : the theory of functions and sets of natural numbers /
by: Odifreddi, Piergiorgio, 1950-
Published: (1989)

The foundations of intuitionistic mathematics : especially in relation to recursive functions /
by: Kleene, Stephen Cole, 1909-1994
Published: (1965)

Computability and logic /
by: Boolos, George
Published: (1980)

Computability and logic.
by: Boolos, George
Published: (2007)

Computability and logic.
by: Boolos, George
Published: (2002)

Fundamentals of generalized recursion theory /
by: Fitting, Melvin, 1942-
Published: (1981)

Regressive sets and the theory of isols /
by: McLaughlin, Thomas G.
Published: (1982)

Aspects of incompleteness /
by: Lindström, Per, 1936-2009
Published: (2003)

Formal systems and recursive functions /
Published: (1965)

Computability /
by: Weihrauch, K. (Klaus), 1943-
Published: (1987)

Computability /
by: Tourlakis, George J.
Published: (1984)

Classical recursion theory : the theory of functions and sets of natural numbers /
by: Odifreddi, Piergiorgio, 1950-
Published: (1989)