TY - BOOK ID - 56714617 TI - Logica: Metodo Breve AU - Mundici, Daniele AU - SpringerLink (Online service) PY - 2011 SN - 9788847018846 PB - Milano Springer Milan DB - UniCat KW - Mathematical logic KW - Lexicology. Semantics KW - semantiek KW - wiskunde UR - https://www.unicat.be/uniCat?func=search&query=sysid:56714617 AB - 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. ER -