01504nam0 2200373 i 450 VAN008461320220328103324.997N978-88-470-1884-620110704d2011 |0itac50 baitaIT|||| |||||Logica: metodo breveDaniele MundiciMilanoSpringer2011XI, 126 p.24 cm001VAN01045612001 Unitext. La matematica per il 3+2210 Milano [etc.]Springer1VAN0243860Logica: 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>VANV108073650ITSOL20240614RICAhttps://doi.org/10.1007/978-88-470-1884-6E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA CENTRO DI SERVIZIO SBAVAN15NVAN0084613BIBLIOTECA CENTRO DI SERVIZIO SBA15CONS SBA EBOOK 123 15EB 123 20150430 Logica: metodo breve2983391UNICAMPANIA