Undecidable theories /

Código QR

Undecidable theories /

Detalles Bibliográficos
Autores principales:	Tarski, Alfred (Autor, Autor/a), Mostowski, Andrzej (Autor/a), Robinson, Raphael Mitchell 1911- (Autor/a)
Formato:	Libro
Lenguaje:	English
Publicado:	Amsterdam : North Holland, 1953.
Materias:	TEOREMA DE GODEL

Ejemplares similares

Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel
por: Mostowski, Andrzej, et al.
Publicado: (1964)

The undecidable: basic papers on undecidable propositions, unsolvable problems and computable functions /
por: Davis, Martin 1928-
Publicado: (1965)

Extensional Godel functional interpretation : a consistency proof of classical analysis.
por: Luckhardt, Horst, et al.
Publicado: (1964)

La prueba de Gödel /
por: Newman, James Roy 1907-, et al.
Publicado: (1959)

La Matemática Godeliana y sus implicaciones filosóficas
por: Korner, Stephan 1913-
Publicado: (1972)

El teorema de Goedel /
por: Díaz Estévez, Emilio, et al.
Publicado: (1975)

El teorema de Gödel /
por: Nagel, Ernest n. 1901
Publicado: (2007)

El Teorema de Godel
por: Nagel, Ernest
Publicado: (1970)

Undecidable theories
por: Tarski, Alfred
Publicado: (1953)

Undecidable theories
por: Tarski, Alfred
Publicado: (1971)

The Philosophical significance of Goedel's theorem
por: Dummett, Michael 1925-2011, et al.
Publicado: (1963)

A method in proofs of undefinability : with applications to functions in the arithmetic of natural numbers /
por: Bouvere, Karel Louis de, et al.
Publicado: (1959)

Enumerability, decidability, computability : an introduction to the theory of recursive functions /
por: Hermes, Hans, et al.
Publicado: (1985)

El teorema del Godel / Ernest Nagel y James R. Newman
por: Nagel, Ernest

Implicaciones teórico-filosóficas del teorema de Goedel en el paradigma racionalista de la reflexión sobre las matemáticas /
por: Ruiz Zúñiga, Angel 1954-

Ordenadores y números naturales /
por: Rayo, Agustín

Fixed point theory /
por: Granas, Andrzej
Publicado: (2003)

Sistemas formales, informalmente : ¿Porqué intentaron formalizar a la matemática si era tan buena la muchacha?
por: Gómez, Pedro
Publicado: (1995)

A tour through mathematical logic /
por: Wolf, Robert S., et al.
Publicado: (2005)

Computación y símbolos : Un diálogo a contratiempo con Douglas R. Hofstadter /
por: Urrero Peña, Guzmán

The undecided heart /
por: Young, Bob 1916-1969, et al.
Publicado: (1967)

Introducción a la lógica y a la metodología de las ciencias deductivas /
por: Tarski, Alfred, et al.
Publicado: (1951)

Introduction to logic and to the methodology of deductive sciences
por: Tarski, Alfred, et al.
Publicado: (1965)

Logic, semantics, metamathematics : papers from 1923 to 1938
por: Tarski, Alfred, et al.
Publicado: (1956)

Ordinal algebras : with appendices /
por: Tarski, Alfred, et al.
Publicado: (1970)

La concepción semántica de la verdad y los fundamentos de la semántica /
por: Tarski, Alfred, et al.
Publicado: (1972)

Teorema de metrización de Nagata Smirnov
por: Parada Batres, Francisco Orlando
Publicado: (1986)

Métodos matemáticos integración múltiple : teoría y ejercicios resueltos /
por: Alberca Bjerregaard, Pablo
Publicado: (2014)

Index theory for locally compact noncommutative geometries /
por: Carey, Alan L., et al.
Publicado: (2014)

Non-commutative Gelfand theories : a tool-kit for operator theorists and numerical analysts /
por: Roch, Steffen 1958-, et al.
Publicado: (2011)

Introduction to logic and to the methodology of deductive sciences
por: Tarski, Alfred
Publicado: (1961)

Ordinal algebreas
por: Tarski, Alfred
Publicado: (1956)

Introducción a la lógica y a la metodología de las ciencias deductivas /
por: Tarski, Alfred
Publicado: (1951)

Introducción a la lógica y a la metodología de las ciencias deductivas
por: Tarski, Alfred
Publicado: (1951)

La concepción semántica de la verdad y los fundamentos de la semántica
por: Tarski, Alfred
Publicado: (1972)

La concepción semántica de la verdad y los fundamentos de la semántica científica /
por: Tarski, Alfred
Publicado: (1972)

La concepción semántica de la verdad y los fundamentos de la semántica /
por: Tarski, Alfred
Publicado: (1972)

Introducción a la lógica y a la metodología de las ciencias deductivas
por: Tarski, Alfred
Publicado: (1977)

Introducción a la lógica: y a la metodología de las ciencias deductivas.
por: Tarski, Alfred
Publicado: (1977)

On Gödel /
por: Hintikka, Jaakko 1929-, et al.
Publicado: (2000)