Cargando…

Degrees of unsolvability /

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autor principal:	Shoenfield, Joseph Robert
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	Amsterdam ; London : North-Holland Pub. Co., 1971.
Colección:	North-Holland mathematics studies ; 2.
Temas:	Recursive functions. Fonctions r�ecursives. MATHEMATICS > Infinity. MATHEMATICS > Logic. Recursive functions
Acceso en línea:	Texto completo Texto completo Texto completo

Ejemplares similares

Recursive functionals /
por: Sanchis, Luis E.
Publicado: (1992)

Recursive analysis /
Publicado: (1961)

Elementary induction on abstract structures /
por: Moschovakis, Yiannis N.
Publicado: (1974)

Formal systems and recursive functions /
Publicado: (1965)

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

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

Computability theory: an introduction
por: Jones, Neil D.
Publicado: (1973)

Stochastic processes : estimation, optimization, & analysis /
Publicado: (2004)

Degrees of unsolvability /
por: Gerald E. Sacks
Publicado: (1066)

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

Aritmetica pitagorica y el triangulo de pascal : una iniciacion al pensamiento recursivo.
Publicado: (2018)

Theory of formal systems /
por: Smullyan, Raymond M. (Raymond Merrill)
Publicado: (1961)

Computability and logic.
por: Boolos, George
Publicado: (2007)

Computability and logic.
por: Boolos, George
Publicado: (2002)

The calculi of Lambda-conversion /
por: Alonzo Church
Publicado: (1941)

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

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

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

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

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

Recursive methods in economic dynamics /
por: Stokey, Nancy L., et al.
Publicado: (1989)

Recursive algorithms /
por: Lorentz, Richard
Publicado: (1994)

Formalized recursive functionals and formalized realizability /
por: Kleene, Stephen Cole, 1909-1994
Publicado: (1969)

Fundamentals of generalized recursion theory /
por: Fitting, Melvin, 1942-
Publicado: (1981)

Recursion theory : its generalisations and applications : proceedings of Logic Colloquium '79, Leeds, August 1979 /
Publicado: (1980)

Solutions manual for Recursive methods in economic dynamics /
por: Irigoyen, Claudio
Publicado: (2002)

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

Hierarchies of predicates of finite types /
por: Clarke, D. A. (Douglas Albert)
Publicado: (1964)

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

Computable structures and the hyperarithmetical hierarchy /
por: Ash, C. J.
Publicado: (2000)

Handbook of recursive mathematics /
Publicado: (1998)

Handbook of recursive mathematics /
Publicado: (1998)

Real variable methods in Fourier analysis /
por: Guzm�an, Miguel de, 1936-2004
Publicado: (1981)

Classical recursion theory : the theory of functions and sets of natural numbers /
por: Odifreddi, Piergiorgio, 1950-
Publicado: (1989)

Computability theory : an introduction to recursion theory /
por: Enderton, Herbert B.
Publicado: (2011)

Schaum's Discrete Problem 6.33: Recurrence Relations /
por: Petrik, Rachel
Publicado: (2022)

Functional analysis, holomorphy, and approximation theory II : proceedings of the Semin�ario de An�alise Funcional, Holomorfia e Teoria da Aproxima�c�ao, Universidade Federal do Rio de Janeiro, August 3-7, 1981 /
Publicado: (1984)

Solutions manual for Recursive methods in economic dynamics /
por: Irigoyen, Claudio
Publicado: (2002)

Analytic functions and manifolds in infinite dimensional spaces /
por: Coeur�e, Gerard
Publicado: (1974)

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