Computations in higher types /

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

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

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

Games and full abstraction for a functional metalanguage with recursive types /
by: McCusker, G. (Guy)
Published: (1998)

Formal systems and recursive functions /
Published: (1965)

Recursion on the countable functionals /
by: Normann, Dag, 1947-
Published: (1980)

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

Computability & unsolvability.
by: Davis, Martin, 1928-
Published: (1958)

Theory of recursive functions and effective computability.
by: Rogers, H. (Hartley), 1926-
Published: (1967)

Recursion on the countable functionals /
by: Normann, Dag, 1947-
Published: (1980)

Recursive identification and parameter estimation /
by: Chen, Hanfu, et al.
Published: (2014)

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

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

Adaptive IIR filtering in signal processing and control /
by: Regalia, Phillip A., 1962-
Published: (1995)

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

On recursive interconnection networks and their extensions /
by: Fernandes, Ronald
Published: (1992)

Recursive functions /
by: Péter, Rózsa, 1905-1977
Published: (1967)

Degrees of unsolvability.
by: Sacks, Gerald E.
Published: (1963)

Recursive analysis.
by: Goodstein, R. L. (Reuben Louis)
Published: (1961)

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

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

Aufzahlbarkeit, Entscheidbarkeit, Berechenbarkeit ; Einfuhrung in die Theorie der rekursiven Funktionen.
by: Hermes, Hans
Published: (1961)

Recursivite /
by: Azra, Jean-Pierre
Published: (1973)

Algebraische und kombinatorische Aspekte der Harder-Narasimhan-Rekursion und ihrer Umkehrung /
by: Mersmann, Gerd
Published: (1998)

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)

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

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

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

Algorithms and recursive functions /
by: Hancock, Malcolm
Published: (1970)

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

Theory of formal systems.
by: Smullyan, Raymond M.
Published: (1961)

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

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

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

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