Senza richiedere prerequisiti il testo si propone di fornire una dimostrazione dei fondamentali teoremi della logica matematica (compattezza, completezza di Goedel, Loewenheim-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.
- ISBN10 8847018838
- ISBN13 9788847018839
- Publish Date 10 February 2011
- Publish Status Active
- Publish Country IT
- Imprint Springer Verlag
- Edition 2011 ed.
- Format Paperback (US Trade)
- Pages 126
- Language Italian