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 | Libri antichi e moderni | Mostowski Andrzej
Libri antichi e moderni
Mostowski Andrzej
North-Holland Pub. Company,
1957
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 | Libri antichi e moderni | Mostowski Andrzej
Libri antichi e moderni
Mostowski Andrzej
North-Holland Pub. Company,
1957
25,00 €
(Bologna,
Italia)
Metodi di Pagamento
- PayPal
- Carta di Credito
- Bonifico Bancario
- Pubblica amministrazione
- Carta del Docente
Dettagli
- Anno di pubblicazione
- 1957
- Luogo di stampa
- Amsterdam
- Autore
- Mostowski Andrzej
- Pagine
- pp. VIII-117-(3)
- Editori
- North-Holland Pub. Company
- Formato
- 8°
- Soggetto
- MATEMATICA
- Descrizione
- cartonato ed., sovracc.
Descrizione
Studies in logic and the foundations of mathematics Brouwer, Beth, Heyting. Bibliografia. Alcune sottolineature a matita. In ottimo stato
