01657nam2 2200361 i 450 SUN010249420191030112808.770.00N978-88-470-5538-420150908d2014 |0itac50 baitaIT|||| |||||1: *Dimostrazioni e modelli al primo ordineVito Michele Abrusci, Lorenzo Tortora de FalcoMilano : Springer, 2014IX190 p. ; 24 cmPubblicazione in formato elettronico001SUN01045612001 *UnitextLa matematica per il 3+280210 MilanoSpringer.001SUN01024932001 *LogicaVito Michele Abrusci, Lorenzo Tortora de Falco1210 MilanoSpringer2014-2018215 volumi24 cm.03C07Basic properties of first-order languages and structures [MSC 2020]MFSUNC02446903B10Classical first-order logic [MSC 2020]MFSUNC02453003F05Cut-elimination and normal-form theorems [MSC 2020]MFSUNC024532MilanoSUNL000284Abrusci, Vito M.SUNV075394730428Tortora de Falco, LorenzoSUNV079398730427SpringerSUNV000178650Abrusci, Vito MicheleAbrusci, Vito M.SUNV078806ITSOL20200921RICAhttp://dx.doi.org/10.1007/978-88-470-5538-4SUN0102494BIBLIOTECA CENTRO DI SERVIZIO SBA15CONS SBA EBOOK 482 15EB 482 20150908 Dimostrazioni e modelli al primo ordine1433478UNICAMPANIA