01450nam0 22003613i 450 VAN0024386920241216023037.780978-88-470-1883-920220328d2011 |0itac50 baitaIT|||| |||||Logica: 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>VANV108073650ITSOL20241220RICA/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