LEADER 00962nam0-2200325 --450 
001 9910619398303321
005 20231020110021.0
010   $a978-88-470-5537-7
100   $a20221107d2014----kmuy0itay5050    ba
101 0 $aita
102   $aIT
105   $a        001yy
200 1 $aLOGICA$evol. 1 dimostrazioni e modelli al primo ordine$fVito Michele Abrusci, Lorenzo Tortora de Falco
210   $aMilano [etc.]$cSpringer$d2014
215   $aIX, 182 p.$d24 cm
225 1 $aUnitext$v80
610 0 $aLogica matematica
676   $a511.3$v22$zITA
700  1$aAbrusci,$bVito Michele$044476
701  1$aTortora de Falco,$bLorenzo$0730427
801  0$aIT$bUNINA$gREICAT$2UNIMARC
901   $aBK
912   $a9910619398303321
952   $a125-F-27$bn.ingr. 29/2022$fMA1
952   $a511.3-ABR-2$b470/2023$fSC1
952   $a125-F-28 ssb n. ingr. 30/2022 ssf MA1
959   $aMA1
959   $aSC1
996   $aLogica$91545124
997   $aUNINA