Skip to content
VuFind
Language
English
Español
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Find
Advanced
Search
Sentences undecidable in forma...
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
Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel
Bibliographic Details
Main Author:
Mostowski, Andrzej
(Author, Autor/a)
Format:
Book
Language:
English
Published:
Amsterdam :
North-Holland Pub. Co.,
1964.
Subjects:
LOGICA, SIMBOLICA Y MATEMATICA
SEMANTICA (FILOSOFIA)
TEOREMA DE GODEL
Holdings
Description
Similar Items
Staff View
Description
Physical Description:
117 páginas
Similar Items
Undecidable theories /
by: Tarski, Alfred, et al.
Published: (1953)
The undecidable: basic papers on undecidable propositions, unsolvable problems and computable functions /
by: Davis, Martin 1928-
Published: (1965)
Thirty years of foundational studies : lectures on the development of mathematical logic and the study of the foundations of mathematics in 1930-1964 /
by: Mostowski, Andrzej, et al.
Published: (1966)
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)
El teorema de Gödel /
by: Nagel, Ernest n. 1901
Published: (2007)
×
Loading...