Cargando…

Hierarchies of predicates of finite types /

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autor principal:	Clarke, D. A. (Douglas Albert)
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	Providence, R.I. : American Mathematical Society, 1964.
Colección:	Memoirs of the American Mathematical Society ; no. 51.
Temas:	Recursive functions. Number theory. Fonctions récursives. Théorie des nombres. Number theory Recursive functions Aussage Hierarchie Prädikat Prädikatenlogik Finiter Typus.
Acceso en línea:	Texto completo

Ejemplares similares

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

Recursion-theoretic hierarchies /
por: Hinman, Peter G.
Publicado: (2016)

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

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)

A Hierarchy of Turing Degrees : A Transfinite Hierarchy of Lowness Notions in the Computably Enumerable Degrees, Unifying Classes, and Natural Definability (AMS-206) /
por: Downey, Rod, et al.
Publicado: (2020)

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

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

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

Recursive analysis /
Publicado: (1961)

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

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

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

The Calculi of Lambda Conversion. (AM-6), Volume 6 /
por: Church, Alonzo
Publicado: (2016)

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

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

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 identification and parameter estimation /
por: Chen, Hanfu, et al.
Publicado: (2014)

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

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

Theory of Formal Systems. (AM-47), Volume 47 /
por: Smullyan, Raymond M.
Publicado: (2016)

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

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

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)

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

Initial segments of degrees below 0' /
por: Epstein, Richard L., 1947-
Publicado: (1981)

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

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

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

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

Computability, enumerability, unsolvability : directions in recursion theory /
Publicado: (1996)

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

On the general Rogers-Ramanujan theorem /
por: Andrews, George E., 1938-
Publicado: (1974)

Degrees of Unsolvability. (AM-55), Volume 55 /
por: Sacks, Gerald E.
Publicado: (2016)

Automorphisms of the lattice of recursively enumerable sets /
por: Cholak, Peter, 1962-
Publicado: (1995)

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)

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