Cargando…

Introducción a la teoría de la computabilidad /

Mostrar otras versiones (1)

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autor principal:	Gallardo López, Domingo
Otros Autores:	Arques Corrales, Pilar, Lesta Pelayo, Ignacio
Formato:	Electrónico eBook
Idioma:	Español
Publicado:	Alicante : Universidad de Alicante, 2003.
Edición:	2. ed.
Colección:	Textos docentes (Alicante, Spain)
Temas:	Computable functions. Fonctions calculables. MATHEMATICS > Infinity. MATHEMATICS > Logic. Computable functions Mathematics. Physical Sciences & Mathematics. Mathematical Theory.
Acceso en línea:	Texto completo

Ejemplares similares

Logic and Computation
Publicado: (1990)

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

Handbook of computability theory /
Publicado: (1999)

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

Induction, bounding, weak combinatorial principles, and the homogeneous model theorem /
por: Hirschfeldt, Denis Roman, et al.
Publicado: (2017)

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)

Computability, complexity, logic /
por: B�orger, E. (Egon), 1946-
Publicado: (1989)

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

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

Theory and practice of computation : proceedings of Workshop on Computation Theory and Practice WCTP2013, University of the Philippines Diliman, Philippines, 30 September-1 October 2013 /
Publicado: (2014)

Theory of computation /
por: Tourlakis, George J.
Publicado: (2012)

Effective mathematics of the uncountable /
por: Greenberg, Noam, 1974-, et al.
Publicado: (2013)

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

Computability in analysis and physics /
por: Pour-El, Marian B. (Marian Boykan), 1928-, et al.
Publicado: (2016)

Introduction to formal languages, automata theory and computation /
por: Krithivasan, Kamala
Publicado: (2009)

Lambda Calculus with Types /
por: Barendregt, Henk
Publicado: (2013)

Lambda Calculus with Types /
por: Barendregt, Henk
Publicado: (2013)

Computability in context : computation and logic in the real world /
Publicado: (2011)

Three Views of Logic : Mathematics, Philosophy, and Computer Science.
por: Loveland, Donald W.
Publicado: (2014)

Logic and Combinatorics
por: Simpson, Stephen G.
Publicado: (1987)

Vistas of special functions II /
por: Chakraborty, Kalyan
Publicado: (2007)

In the Tradition of Ahlfors-Bers, IV
por: Canary, Dick
Publicado: (2007)

Computability in context : computation and logic in the real world /
Publicado: (2011)

Subsystems of second order arithmetic /
por: Simpson, Stephen G. (Stephen George), 1945-
Publicado: (2009)

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

Linear Logic in Computer Science /
Publicado: (2004)

Introducción a la teoría de la computabilidad /
por: Gallardo López, Domingo
Publicado: (2003)

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

Finite and algorithmic model theory /
Publicado: (2011)

Logic without borders : essays on set theory, model theory, philosophical logic, and philosophy of mathematics /
Publicado: (2015)

Lectures in logic and set theory.
por: Tourlakis, George J.
Publicado: (2003)

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

Mathematical thinking and writing : a transition to abstract mathematics /
por: Maddox, Randall B.
Publicado: (2002)

Conditional and preferential logics : proof methods and theorem proving /
por: Pozzato, Gian Luca
Publicado: (2010)

Mathematical logic in the 20th century /
Publicado: (2003)

Mathematical logic in the 20th century /
Publicado: (2003)

Mathematical logic /
por: Chiswell, Ian, 1948-
Publicado: (2007)

Fuzzy logic for beginners /
por: Mukaidono, Masao, 1942-
Publicado: (2001)

Bridge to abstract mathematics /
por: Oberste-Vorth, Ralph W., 1959-
Publicado: (2012)

Bridge to abstract mathematics /
por: Oberste-Vorth, Ralph W., 1959-
Publicado: (2012)

Cannot write session to /tmp/vufind_sessions/sess_0sgtihnegjul846tdb531rq4v2