Higher recursion theory /

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

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

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

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

Recursive functionals /
by: Sanchis, Luis E.
Published: (1992)

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

Recursion theory /
by: Shoenfield, Joseph R. (Joseph Robert), 1927-
Published: (1993)

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

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

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

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

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

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

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

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

Recursive functionals /
by: Sanchis, Luis E.
Published: (1992)

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

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

Handbook of recursive mathematics /
Published: (1998)

Super-recursive algorithms /
by: Burgin, M. S. (Mark Semenovich)
Published: (2005)

Formal systems and recursive functions /
Published: (1965)

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

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

Recursively enumerable sets and degrees : a study of computable functions and computably generated sets /
by: Soare, R. I. (Robert Irving), 1940-
Published: (1987)

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

Formal systems and recursive functions ; proceedings /
Published: (1965)

Recursive functions and metamathematics : problems of completeness and decidability, Gödel's theorems /
by: Murawski, Roman
Published: (1999)

Techniques of admissible recursion theory /
by: Chong, C.-T. (Chi-Tat), 1949-
Published: (1984)

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)

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

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

Recursion theory week : proceedings of a conference held in Oberwolfach, FRG, March 19-25, 1989 /
Published: (1990)

Recursion theory week : proceedings of a conference held in Oberwolfach, West Germany, April 15-21, 1984 /
Published: (1985)

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

Recursive aspects of descriptive set theory /
by: Mansfield, Richard, 1941-
Published: (1985)

Recursive algorithms /
by: Lorentz, Richard
Published: (1994)