Cargando…

The calculi of Lambda-conversion /

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autor principal:	Alonzo Church
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	Princeton : Princeton Univ Press, 1941.
Temas:	Logic, Symbolic and mathematical. Recursive functions. Logique symbolique et mathématique. Fonctions récursives. MATHEMATICS > Calculus. Logic, Symbolic and mathematical Recursive functions
Acceso en línea:	Texto completo

Ejemplares similares

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

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

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

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)

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

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)

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)

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

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

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

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

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

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

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

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

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)

Recursive analysis /
Publicado: (1961)

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

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

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

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

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

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

Introduction to mathematical logic.
por: Church, Alonzo, 1903-1995
Publicado: (1956)

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

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

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

Collected works.
por: Gödel, Kurt
Publicado: (1986)

Models and computability : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 /
Publicado: (1999)

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

Mathematics and mathematical logic : new research /
Publicado: (2010)

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

Deducibility and Decidability.
por: Gill, R. R. Rockingham
Publicado: (1990)

Two-valued iterative systems of mathematical logic. (am-5).
por: Emil L. Post
Publicado: (2016)

Neutrosophic logic : the revolutionary logic in science and philosophy : proceedings of the national symposium /
por: Smarandache, Florentin, et al.
Publicado: (2018)

Handbook of Mathematical Logic.
por: Barwise, Jon
Publicado: (1989)

Cannot write session to /tmp/vufind_sessions/sess_crfrhk46olvgpiupe8ut4u0m6f