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 | Livres anciens et modernes | 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 | Livres anciens et modernes | Mostowski Andrzej
Mode de Paiement
- PayPal
- Carte bancaire
- Virement bancaire
- Pubblica amministrazione
- Carta del Docente
Détails
- Année
- 1957
- Lieu d'édition
- Amsterdam
- Auteur
- Mostowski Andrzej
- Pages
- pp. VIII-117-(3)
- Éditeurs
- North-Holland Pub. Company
- Format
- 8°
- Thème
- MATEMATICA
- Description
- cartonato ed., sovracc.
Description
Studies in logic and the foundations of mathematics Brouwer, Beth, Heyting. Bibliografia. Alcune sottolineature a matita. In ottimo stato