00962nam0-2200325 --450 991061939830332120231020110021.0978-88-470-5537-720221107d2014----kmuy0itay5050 baitaIT 001yyLOGICAvol. 1 dimostrazioni e modelli al primo ordineVito Michele Abrusci, Lorenzo Tortora de FalcoMilano [etc.]Springer2014IX, 182 p.24 cmUnitext80Logica matematica511.322ITAAbrusci,Vito Michele44476Tortora de Falco,Lorenzo730427ITUNINAREICATUNIMARCBK9910619398303321125-F-27n.ingr. 29/2022MA1511.3-ABR-2470/2023SC1125-F-28 ssb n. ingr. 30/2022 ssf MA1MA1SC1Logica1545124UNINA