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

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

Recursion theory /
Published: (1985)

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

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

Recursive analysis /
Published: (1961)

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

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

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

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

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)

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 on the countable functionals /
by: Normann, Dag, 1947-
Published: (1980)

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

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

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

Set theory and hierarchy theory V : Bierutowice, Poland, 1976 : [proceedings] /
Published: (1977)

Recursive number theory ; a development of recursive arithmetic in a logic-free equation calculus.
by: Goodstein, R. L. (Reuben Louis)
Published: (1957)

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

Cabal Seminar 81-85 : proceedings, Caltech-UCLA Logic Seminar 1981-85 /
Published: (1988)

Cabal Seminar 79-81 : proceedings, Caltech-UCLA Logic Seminar 1979-81 /
Published: (1983)

Cabal Seminar 77-79 : proceedings, Caltech-UCLA logic seminar 1977-79 /
Published: (1981)

Recursive number theory a development of recursive arithmetic in a logic-free equation calculus.
by: Goodstein, R. L. (Reuben Louis)
Published: (1957)

Recursive function theory. : [Proceedings of the Fifth Symposium in Pure Mathematics of the American Mathematical Society].
Published: (1962)

Recursiveness /
by: Eilenberg, Samuel
Published: (1970)

Set theory and hierarchy theory : a memorial tribute to Andrzej Mostowski : Bierutowice, Poland, 1975 : [proceedings] /
Published: (1976)

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

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

Induction, recursion, and programming /
by: Wand, Mitchell
Published: (1980)

Complexity, logic, and recursion theory /
Published: (2019)