Skip to content
VuFind
Language
English
Español
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Find
Advanced
Search
Undecidable theories /
Similar Items
Cite this
Email this
Print
Export Record
Export to RefWorks
Export to EndNoteWeb
Export to EndNote
Export to MARC
Export to RDF
Export to BibTeX
Export to RIS
Undecidable theories /
Bibliographic Details
Main Authors:
Tarski, Alfred
(Author, Autor/a)
,
Mostowski, Andrzej
(Autor/a)
,
Robinson, Raphael Mitchell 1911-
(Autor/a)
Format:
Book
Language:
English
Published:
Amsterdam :
North Holland,
1953.
Subjects:
TEOREMA DE GODEL
Holdings
Description
Similar Items
Staff View
Similar Items
Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel
by: Mostowski, Andrzej, et al.
Published: (1964)
The undecidable: basic papers on undecidable propositions, unsolvable problems and computable functions /
by: Davis, Martin 1928-
Published: (1965)
Extensional Godel functional interpretation : a consistency proof of classical analysis.
by: Luckhardt, Horst, et al.
Published: (1964)
La prueba de Gödel /
by: Newman, James Roy 1907-, et al.
Published: (1959)
La Matemática Godeliana y sus implicaciones filosóficas
by: Korner, Stephan 1913-
Published: (1972)
El teorema de Goedel /
by: Díaz Estévez, Emilio, et al.
Published: (1975)
El teorema de Gödel /
by: Nagel, Ernest n. 1901
Published: (2007)
El Teorema de Godel
by: Nagel, Ernest
Published: (1970)
Undecidable theories
by: Tarski, Alfred
Published: (1953)
Undecidable theories
by: Tarski, Alfred
Published: (1971)
The Philosophical significance of Goedel's theorem
by: Dummett, Michael 1925-2011, et al.
Published: (1963)
A method in proofs of undefinability : with applications to functions in the arithmetic of natural numbers /
by: Bouvere, Karel Louis de, et al.
Published: (1959)
Enumerability, decidability, computability : an introduction to the theory of recursive functions /
by: Hermes, Hans, et al.
Published: (1985)
El teorema del Godel / Ernest Nagel y James R. Newman
by: Nagel, Ernest
Implicaciones teórico-filosóficas del teorema de Goedel en el paradigma racionalista de la reflexión sobre las matemáticas /
by: Ruiz Zúñiga, Angel 1954-
Ordenadores y números naturales /
by: Rayo, Agustín
Aporte de Kurt Gödel a la matemática : los teoremas de incompletitud /
by: Rivera, Leonela
Published: (2023)
Fixed point theory /
by: Granas, Andrzej
Published: (2003)
Sistemas formales, informalmente : ¿Porqué intentaron formalizar a la matemática si era tan buena la muchacha?
by: Gómez, Pedro
Published: (1995)
A tour through mathematical logic /
by: Wolf, Robert S., et al.
Published: (2005)
Computación y símbolos : Un diálogo a contratiempo con Douglas R. Hofstadter /
by: Urrero Peña, Guzmán
The undecided heart /
by: Young, Bob 1916-1969, et al.
Published: (1967)
Introducción a la lógica y a la metodología de las ciencias deductivas /
by: Tarski, Alfred, et al.
Published: (1951)
Logic, semantics, metamathematics : papers from 1923 to 1938
by: Tarski, Alfred, et al.
Published: (1956)
Introduction to logic and to the methodology of deductive sciences
by: Tarski, Alfred, et al.
Published: (1965)
Ordinal algebras : with appendices /
by: Tarski, Alfred, et al.
Published: (1970)
La concepción semántica de la verdad y los fundamentos de la semántica /
by: Tarski, Alfred, et al.
Published: (1972)
Métodos matemáticos integración múltiple : teoría y ejercicios resueltos /
by: Alberca Bjerregaard, Pablo
Published: (2014)
Teorema de metrización de Nagata Smirnov
by: Parada Batres, Francisco Orlando
Published: (1986)
Index theory for locally compact noncommutative geometries /
by: Carey, Alan L., et al.
Published: (2014)
Non-commutative Gelfand theories : a tool-kit for operator theorists and numerical analysts /
by: Roch, Steffen 1958-, et al.
Published: (2011)
Introduction to logic and to the methodology of deductive sciences
by: Tarski, Alfred
Published: (1961)
Ordinal algebreas
by: Tarski, Alfred
Published: (1956)
La concepción semántica de la verdad y los fundamentos de la semántica /
by: Tarski, Alfred
Published: (1972)
Introducción a la lógica y a la metodología de las ciencias deductivas
by: Tarski, Alfred
Published: (1951)
Introducción a la lógica y a la metodología de las ciencias deductivas
by: Tarski, Alfred
Published: (1977)
Introducción a la lógica y a la metodología de las ciencias deductivas /
by: Tarski, Alfred
Published: (1951)
Introducción a la lógica: y a la metodología de las ciencias deductivas.
by: Tarski, Alfred
Published: (1977)
La concepción semántica de la verdad y los fundamentos de la semántica científica /
by: Tarski, Alfred
Published: (1972)
On Gödel /
by: Hintikka, Jaakko 1929-, et al.
Published: (2000)
Similar Items
Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel
by: Mostowski, Andrzej, et al.
Published: (1964)
The undecidable: basic papers on undecidable propositions, unsolvable problems and computable functions /
by: Davis, Martin 1928-
Published: (1965)
Extensional Godel functional interpretation : a consistency proof of classical analysis.
by: Luckhardt, Horst, et al.
Published: (1964)
La prueba de Gödel /
by: Newman, James Roy 1907-, et al.
Published: (1959)
La Matemática Godeliana y sus implicaciones filosóficas
by: Korner, Stephan 1913-
Published: (1972)
×
Loading...