Questo sito usa cookie di analytics per raccogliere dati in forma aggregata e cookie di terze parti per migliorare l'esperienza utente.
Leggi l'Informativa Cookie Policy completa.

Sei in possesso di una Carta del Docente o di una Carta della Cultura? Scopri come usarli su Maremagnum!

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

Livres anciens et modernes
Mostowski Andrzej
North-Holland Pub. Company, 1957
25,00 €
(Bologna, Italie)

Mode de Paiement

Détails

  • Année
  • 1957
  • Lieu d'édition
  • Amsterdam
  • Auteur
  • Mostowski Andrzej
  • Pages
  • pp. VIII-117-(3)
  • Éditeurs
  • North-Holland Pub. Company
  • Format
  • 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

Logo Maremagnum fr