Computability and logic /

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

Formal systems and recursive functions /
Published: (1965)

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

Recursive function theory and logic.
by: Yasuhara, Ann
Published: (1971)

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

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

Computability, complexity, logic /
by: Börger, E. (Egon), 1946-
Published: (1989)

Primitiv-rekursive Funktionen in Peano-Algebren.
by: Hirschelmann, Arnulf
Published: (1969)

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

Reflexive structures : an introduction to computability theory /
by: Sanchis, Luis E.
Published: (1988)

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

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

Computable analysis : an introduction /
by: Weihrauch, K. (Klaus), 1943-
Published: (2000)

Logic Colloquium '69 : proceedings of the Summer School and [fourteenth] Colloquium in Mathematical Logic, Manchester, August 1969 /
Published: (1971)

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

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

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

Recursive analysis /
Published: (1961)

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

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

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

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

Computability with PASCAL /
by: Mallozzi, John S.
Published: (1984)

Computability & unsolvability /
by: Davis, Martin, 1928-2023
Published: (1982)

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

Degrees of unsolvability /
by: Shoenfield, Joseph Robert
Published: (1971)

Computability, complexity, logic /
by: Börger, E. (Egon), 1946-
Published: (1989)

Uncrackable data banks /
by: Shapiro, Norman Zalmon, 1932-
Published: (1973)

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

Formal parametric polymorphism /
by: Abadi, Martín
Published: (1993)

Three views of logic : mathematics, philosophy, and computer science /
by: Loveland, Donald W., et al.
Published: (2014)

Computability theory: an introduction
by: Jones, Neil D.
Published: (1973)

Non-classical logics, model theory, and computability : proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976 /
Published: (1977)

Computability theory : an introduction /
by: Jones, Neil D.
Published: (1973)

Handbook of computability theory /
Published: (1999)

Logic and computer science /
Published: (1990)