TY  - BOOK
AU  - Mundici,Daniele
ED  - SpringerLink (Online service)
TI  - Logica: Metodo Breve
T2  - UNITEXT,
SN  - 9788847018846
AV  - QA8.9-10.3 
U1  - 511.3 23
PY  - 2011///
CY  - Milano
PB  - Springer Milan, Imprint: Springer
KW  - Mathematics
KW  - Computer science
KW  - Logic, Symbolic and mathematical
KW  - Semantics
KW  - Mathematical Logic and Foundations
KW  - Mathematical Logic and Formal Languages
N2  - 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
UR  - http://148.231.10.114:2048/login?url=http://link.springer.com/book/10.1007/978-88-470-1884-6
ER  -