Skip to content
VuFind
Language
English
Español
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Find
Advanced
Search
Undecidable theories /
Description
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
Description
Physical Description:
98 páginas
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...