Recursive function theory and logic.

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

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

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

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

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

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

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

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

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

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

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

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

Enumerability, decidability, computability. : An introduction to the theory of recursive functions /
by: Hermes, Hans
Published: (1969)

Enumerability, decidability, computability ; an introduction to the theory of recursive functions /
by: Hermes, Hans
Published: (1965)

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

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

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

Programs, recursion and unbounded choice : predicate-transformation semantics and transformation rules /
by: Hesselink, Wim H.
Published: (1992)

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

Recursive analysis /
Published: (1961)

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

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

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

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

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

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

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

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

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

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

Set theory and logic /
by: Fraenkel, Abraham Adolf, 1891-1965
Published: (1966)

Set theory and logic /
by: Stoll, Robert Roth
Published: (1963)

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

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

Set theory and its logic.
by: Quine, W. V. (Willard Van Orman)
Published: (1963)

Sets, logic, and axiomatic theories /
by: Stoll, Robert Roth
Published: (1961)