02253nam2 2200457 i 450 VAN0010249420241121085710.79N978884705538420150908d2014 |0itac50 baitaIT|||| |||||ˆVol. 1: ‰Dimostrazioni e modelli al primo ordineVito Michele Abrusci, Lorenzo Tortora de FalcoMilanoSpringer2014IX, 190 p.24 cm001VAN001045612001 Unitext. La matematica per il 3+2210 Milano [etc.]Springer1988-80001VAN001024932001 LogicaVito Michele Abrusci, Lorenzo Tortora de Falco210 MilanoSpringer2014-2018215 volumi24 cm1VAN00243855Logica. Vol. 1, Dimostrazioni e modelli al primo ordine298328703B10Classical first-order logic [MSC 2020]VANC024530MF03C07Basic properties of first-order languages and structures [MSC 2020]VANC024469MF03F05Cut-elimination and normal-form theorems [MSC 2020]VANC024532MFFunzioni ricorsiveKW:KLogica del primo ordineKW:KTeorema di eliminazione del taglioKW:KTeoremi di incompletezzaKW:KTeoria assiomatica degli insiemiKW:KMilanoVANL000284AbrusciVito M.VANV075394730428Tortora de Falco, LorenzoVANV079398730427Springer <editore>VANV108073650Abrusci, Vito MicheleAbrusci, Vito M.VANV078806Abrusci, V.M.Abrusci, Vito M.VANV233899Abrusci, V. M.Abrusci, Vito M.VANV233898ITSOL20241122RICAhttp://dx.doi.org/10.1007/978-88-470-5538-4E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA CENTRO DI SERVIZIO SBAVAN15NVAN00102494BIBLIOTECA CENTRO DI SERVIZIO SBA15CONS SBA EBOOK 482 15EB 482 20150908 Logica. Vol. 1, Dimostrazioni e modelli al primo ordine2983287UNICAMPANIA