Sentences undecidable in formalized arithmetic. An exposition of the theory of Kurt Godel
Sentences undecidable in formalized arithmetic. An exposition of the theory of Kurt Godel | Libros antiguos y modernos | Mostowski Andrzej
Sentences undecidable in formalized arithmetic. An exposition of the theory of Kurt Godel
Sentences undecidable in formalized arithmetic. An exposition of the theory of Kurt Godel | Libros antiguos y modernos | Mostowski Andrzej
Formas de Pago
- PayPal
- Tarjeta de crédito
- Transferencia Bancaria
- Pubblica amministrazione
- Carta del Docente
Detalles
- Año de publicación
- 1957
- Lugar de impresión
- Amsterdam
- Autor
- Mostowski Andrzej
- Páginas
- pp. VIII-117-(3)
- Editores
- North-Holland Pub. Company
- Formato
- 8°
- Materia
- MATEMATICA
- Descripción
- cartonato ed., sovracc.
Descripción
Studies in logic and the foundations of mathematics Brouwer, Beth, Heyting. Bibliografia. Alcune sottolineature a matita. In ottimo stato