01513nam0 22003973i 450 VAN0024386920260202114312.348978-88-470-1883-920220328d2011 |0itac50 baitaIT|||| |||||i e nncLogica: metodo breveDaniele MundiciMilanoSpringer2011XI, 126 p.24 cm001VAN000455762001 Unitext210 Milano [etc.]Springer1985-50VAN00243860Logica: 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>VANV108073650ITSOL20260206RICA/sebina/repository/catalogazione/documenti/ID 243869.pdfID 243869.pdfBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08VAN00243869BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS 03-XX 2940 08 9083 I 20110704 Logica: metodo breve2983391UNICAMPANIA