01574nam0 2200409 i 450 VAN0008461320260202114348.899N978884701884620110704d2011 |0itac50 baitaIT|||| |||||i e bcrLogica: metodo breveDaniele MundiciMilanoSpringer2011XI, 126 p.24 cm001VAN001045612001 Unitext. La matematica per il 3+2210 Milano [etc.]Springer1988-1VAN00243860Logica: 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>VANV108073650ITSOL20260206RICAhttps://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 SBAVAN15NVAN00084613BIBLIOTECA CENTRO DI SERVIZIO SBA15CONS SBA EBOOK 123 15EB 123 20150430 Logica: metodo breve2983391UNICAMPANIA