Recursive function theory and logic.

Recursive function theory and logic.

Saved in:

Bibliographic Details
Main Author:	Yasuhara, Ann
Format:	Book
Language:	English
Published:	New York, Academic Press [1971]
Series:	Computer science and applied mathematics
Subjects:	Recursive functions. Logic, Symbolic and mathematical.

Similar Items

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

Minimal degrees of unsolvability and the full approximation construction
by: Epstein, Richard L., 1947-
Published: (1975)

Computability and logic
by: Boolos, George
Published: (1989)

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

Computations in higher types
by: Moldestad, Johan, 1946-
Published: (1977)

The Medvedev lattice of degrees of difficulty.
by: Poulsen, Birgit Truust
Published: (1970)

Lecons sur les fonctions calculables
by: Uspenskiĭ, V. A. (Vladimir Andreevich)
Published: (1966)

Formalized recursive functionals and formalized realizability
by: Kleene, Stephen Cole, 1909-1994
Published: (1969)

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

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

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

Recursive methods in economic dynamics
by: Stokey, Nancy L.
Published: (1989)

Potential wadge classes
by: Lecomte, Dominique, 1964-
Published: (2012)

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

Recursion theory : computational aspects of definability
by: Chong, C.-T. (Chi-Tat), 1949-, et al.
Published: (2015)

Sets, Logic and Categories.
by: Cameron, Peter J.
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)

Minimal degrees of unsolvability and the full approximation construction
by: Epstein, Richard L., 1947-
Published: (1975)

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

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

Recursion theory
Published: (1985)

Minimal weak truth table degrees and computably enumerable Turing degrees
by: Downey, R. G. (Rod G.), et al.
Published: (2020)

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

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

Beyond Sets : a Venture in Collection-Theoretic Revisionism.
by: Rescher, Nicholas
Published: (2011)

The undecidable; basic papers on undecidable propositions, unsolvable problems and computable functions.
by: Davis, Martin, 1928-
Published: (1965)

A hierarchy of Turing degrees : a transfinite hierarchy of lowness notions in the computably enumerable degrees, unifying classes, and natural definability
by: Downey, R. G. (Rod G.), et al.
Published: (2020)

Thinking recursively
by: Roberts, Eric
Published: (1986)

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

Fundamentals of generalized recursion theory
by: Fitting, Melvin Chris
Published: (1981)

The role of true finiteness in the admissible recursively enumerable degrees
by: Greenberg, Noam, 1974-
Published: (2006)

Roads to infinity : the mathematics of truth and proof
by: Stillwell, John
Published: (2010)

An Elementary Recursive Bound for Effective Positivstellensatz and Hilbert's 17th Problem
by: Lombardi, Henri
Published: (1920)

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

The search for mathematical roots, 1870-1940 : logics, set theories and the foundations of mathematics from Cantor through Russell to Gödel
by: Grattan-Guinness, I.
Published: (2000)

The role of true finiteness in the admissible recursively enumerable degrees
by: Greenberg, Noam, 1974-
Published: (2006)

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)

Automorphisms of the lattice of recursively enumerable sets
by: Cholak, Peter, 1962-
Published: (1995)

Recursion via Pascal
by: Rohl, J. S. (Jeffrey Soden), 1938-
Published: (1984)