Ref. 9788847018839
Autore: Daniele Mundici
Editore: Springer Verlag
Pagine: 137
Senza richiedere prerequisiti il testo si propone di fornire una dimostrazione dei fondamentali teoremi della logica matematica (compattezza, completezza di G del, L wenheim-Skolem) introducendo i concetti sintattici e semantici in modo progressivo, dalla logica booleana a quella predicativa. Per facilitare la lettura attiva, il testo contiene numerosi esercizi.
sofortige Verfügbarkeit
Haben Sie Fragen?
Kontakt Kundenservice:
330 85 96 55
Kostenloser
Versand für € 99
Entdecken Sie alle Nachrichten Vorschau
Abonnement des Newsletters