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.
disponibilité immédiate
Vous avez des questions?
Contact Service à la clientèle:
330 85 96 55
Livraison gratuite pour les
commandes de plus de € 99
Découvrez toutes les nouvelles aperçu
abonnant à la newsletter