TY  - GEN
T1  - Logica Metodo Breve
T2  - Unitext
A1  - Mundici, Daniele 1946-
LA  - Italian
PP  - Milan
PB  - Springer
YR  - 2011
UL  - https://ds.mainlib.upd.edu.ph/Record/UP-99796217611385215
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
OP  - 126
SN  - 9788847018846 (eBook)
SN  - 8847018846 (eBook)
KW  - Logic, Symbolic and mathematical.
KW  - Electronic books.
ER  -