Sentences undecidable in formalized Arithmetic. An exposition of the theory of Kurt Gödel.

Gardado en:
Detalles Bibliográficos
Autor Principal: Mostowski, Andrzej
Formato: Libro
Idioma:inglés
Publicado: Amsterdam North-Holland Publ.Co. 1964
Series:Studies in logic and the foundations of mathematics.
Tags: Engadir etiqueta
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!
Order eBook:
Order Book: Login to order
Descripción
descrición da copia:MOSTOWSKI, Andrzej: -- Sentences undecidable in formalized Arithmetic.An exposition of the theory of Kurt -- Gödel. (3rd print.) - Amsterdam:North-Hol- -- land Publ.Co.1964.VIII,117 S. 8° -- (Studies in logic and the foundations of -- mathematics.) -- 1982:B 1866/gb. -- Ko.°
Descrición Física:VIII, 117 S. 8°