01212nam1 2200289 i 450 VAN010249320220207100256.95320150908g20142018 |0itac50 baitaIT|||| |||||LogicaVito Michele Abrusci, Lorenzo Tortora de FalcoMilanoSpringer2014-2018volumi24 cm001VAN01024942001 ˆVol. 1: ‰Dimostrazioni e modelli al primo ordineVito Michele Abrusci, Lorenzo Tortora de Falco210 MilanoSpringer2014215 IX, 190 p.24 cm1001VAN01250922001 ˆVol. 2: ‰Incompletezza, teoria assiomatica degli insiemiVito Michele Abrusci, Lorenzo Tortora de Falco210 MilanoSpringer2018215 xiii, 439 p.24 cm2VAN0239409Logica1407771MilanoVANL000284AbrusciVito M.VANV075394730428Tortora de Falco, LorenzoVANV079398730427Springer <editore>VANV108073650Abrusci, Vito MicheleAbrusci, Vito M.VANV078806ITSOL20240614RICANVAN0102493Logica1407771UNICAMPANIA