Degrees of unsolvability /

QR Code

Degrees of unsolvability /

Bibliographic Details
Main Author:	Sacks, Gerald E. (Author, Autor/a)
Format:	Book
Language:	English
Published:	Princeton, N.J. : Princeton University Press, 1963.
Subjects:	FUNCIONES RECURSIVAS INSOLUBILIDAD (LOGICA MATEMATICA)

Similar Items

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

Computability and unsolvability
by: Davis, Martin 1928-, et al.
Published: (1958)

Degrees of unsolvability : structure and theory /
by: Epstein, Richard L. 1947 -, et al.
Published: (1964)

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

Introducción a la teoría de las funciones recursivas
by: Baules Aguilar, Edgar
Published: (1981)

Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983 /
by: Richter, Michael M., et al.
Published: (1964)

Planos afines con operaciones recursivas /
by: Dekker, Jacob C.E. 1921 -, et al.

Equivalencia recursiva /
by: Dekker, Jacob C.E. 1921 -, et al.
Published: (1976)

Recursive equivalence types /
by: Dekker, Jacob C.E. 1921 -, et al.
Published: (1960)

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

Conditional relationships /
by: Kreiner, Svend, et al.
Published: (1989)

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

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

Computations in higher types /
by: Moldestad, John 1946-, et al.
Published: (1964)

Theory of recursive functions and effective computability /
by: Rogers, Hartley n. 1926-, et al.
Published: (1967)

Recursion theory week : proceedings of a Conference held in Oberwolfach, FRG, March 19-25, 1989 /
by: Ambos, Spines K.
Published: (1964)

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

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

Recursive function theory
Published: (1962)

Computational methods and function theory : proceedings of a Conference, held in Valparaiso, Chile, march 13-18, 1989 /
by: Ruscheweyh, S. T., et al.
Published: (1964)

Algorithms and recursive functions
by: Mal'tsev, Anatolii Ivanovich 1909-1967, et al.
Published: (1970)

Recursive Functions / by Rózsa Péter
by: Péter, Rózsa

Algorithms and recursive fuctions /
by: Mal'Cev, A. I.
Published: (1970)

A programming approach to computability /
by: Arbib, Michael A., et al.
Published: (1968)

Tres formas diferentes de explicar la recursividad /
by: Di Mare Hering, Adolfo

Aritmética recursiva y algunas de sus aplicaciones /
by: Piza Volio, Eduardo 1955-, et al.
Published: (2001)

Recursive macroeconomic theory /
by: Ljungqvist, Lars, et al.
Published: (2000)

Enumerability, decidability, computability : an introduction to the theory of recursive functions /
by: Hermes, Hans, et al.
Published: (1985)

Sobre recursión con objetos grandotes /
by: Lambert Martin, William, et al.

Diagramas ternarios. Teoría y aplicaciones /
by: Gamboa, Rafael
Published: (2018)

Perspectives in computation /
by: Geroch, Robert, et al.
Published: (2009)

Computation and automata /
by: Salomaa, Arto, et al.
Published: (1985)

Nuevas tablas de logaritmos : con cinco decimales /
by: Bouvart, C.
Published: (1974)

Jerarquía aritmética de Kleene
by: Martínez V., Iveth Verónica

Computability & unsolvability
by: Davis, Martin 1928-, et al.
Published: (1982)

The Calculi of lambda-conversion
by: Church, Alonzo n. 1903, et al.
Published: (1941)

Los elementos del lenguaje de matemáticas, lógica y la teoría de conjuntos.
by: Fregoso, Arturo.
Published: (1980)

Estructuras de matemáticas discretas para la computación /
by: Kolman, Bernard, 1932- ,
Published: (1997)

Logic, sets, and recursion /
by: Causey, Robert L.

Unsolved mysteries : teacher's guide
Published: (1999)