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
Search Result 1

Constructible Sets with applications. por Mostowski, Andrzej

Publicado 1969
Libro
Search Result 2

Undecidable Theories por Mostowski, Andrzej

Libro