01351nam0 22003493i 450 VAN024386920240514111855.754978-88-470-1883-920220328d2011 |0itac50 baitaIT|||| |||||Logica: metodo breveDaniele MundiciMilanoSpringer2011XI, 126 p.24 cm001VAN00455762001 Unitext210 Milano [etc.]Springer50VAN0243860Logica: metodo breve298339103-XXMathematical logic and foundations [MSC 2020]VANC019750MFCompattezza e modelli nonstandardKW:KDeduzione AutomaticaKW:KLogica MatematicaKW:KSemantica di TarskiKW:KTeorema di Completezza di GödelKW:KMilanoVANL000284MundiciDanieleVANV06960662698Springer <editore>VANV108073650ITSOL20240614RICABIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08VAN0243869BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS 03-XX 2940 08 9083 I 20110704 Logica: metodo breve2983391UNICAMPANIA