Cargando…

Degrees of unsolvability /

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autor principal:	Gerald E. Sacks
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	Princeton : Princeton Univ Press, 1066.
Edición:	Second edition.
Temas:	Recursive functions. Unsolvability (Mathematical logic) Fonctions récursives. Non-résolubilité (Logique mathématique) MATHEMATICS > Differential Equations > General. Recursive functions
Acceso en línea:	Texto completo

Ejemplares similares

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

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)

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

Degrees of unsolvability : local and global theory /
por: Lerman, M. (Manuel), 1943-
Publicado: (2016)

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

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

Degrees of unsolvability /
por: Shoenfield, Joseph Robert
Publicado: (1971)

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

Degree spectra of relations on a cone /
por: Harrison-Trainor, Matthew, 1990-
Publicado: (2018)

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

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

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

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

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

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

Recursion theory for metamathematics /
por: Smullyan, Raymond M.
Publicado: (1993)

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

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

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

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

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

Formal systems and recursive functions /
Publicado: (1965)

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

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

Wadge Degrees and Projective Ordinals : the Cabal Seminar Volume II.
por: Kechris, Alexander S.
Publicado: (2011)

Recursive analysis /
Publicado: (1961)

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

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

Potential wadge classes /
por: Lecomte, Dominique, 1964-
Publicado: (2012)

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

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

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

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

Higher recursion theory /
por: Sacks, Gerald E.
Publicado: (2016)

Recursion theory /
por: Shoenfield, Joseph R. (Joseph Robert), 1927-
Publicado: (2016)

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

Foundations of Mathematics.
por: Caicedo, Andrés Eduardo
Publicado: (2017)

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

Thinking recursively with Java /
por: Roberts, Eric
Publicado: (2006)

General recursion theory : an axiomatic approach /
por: Fenstad, Jens Erik
Publicado: (2016)

Cannot write session to /tmp/vufind_sessions/sess_55v8m264j7au04l5pivm2i31e6