LEADER 00947nam0-2200289 --450 001 9910275559603321 005 20180703110054.0 010 $a978-88-548-9492-1 100 $a20180703d2016----kmuy0itay5050 ba 101 0 $aita 102 $aIT 105 $a 001yy 200 1 $a<>dimensione locale dello sviluppo sostenibile$eun percorso per la realizzazione di Agenda XXI nella regione etnea$fElena Di Blasi$gprefazione di Sergio Conti 210 $aCanterano$cAracne$d2016 215 $a200 p.$cill.$d22 cm 225 1 $aGeografia economico-politica$v19 610 0 $aEconomia sostenibile 676 $a338.927$v22$zita 700 1$aDi Blasi,$bElena$0418442 702 1$aConti.$bSergio 801 0$aIT$bUNINA$gREICAT$2UNIMARC 901 $aBK 912 $a9910275559603321 952 $aCOLLEZ. 2243 (19)$b872/2018$fFSPBC 959 $aFSPBC 996 $aDimensione locale dello sviluppo sostenibile$91506110 997 $aUNINA LEADER 02110nam0 2200361 i 450 001 VAN00045008 005 20240806100433.904 010 $a978-18-523-3319-5 100 $a20060517d2001 |0itac50 ba 101 $aeng 102 $aGB 105 $a|||| ||||| 200 1 $aMathematical logic for computer science$fMordechai Ben-Ari 205 $a2. ed 210 $aLondon$cSpringer$d2001 215 $aXIV, 304 p.$cill.$d24 cm 606 $a03Bxx$xGeneral logic [MSC 2020]$3VANC024425$2MF 606 $a68Qxx$xTheory of computing [MSC 2020]$3VANC019949$2MF 620 $aGB$dLondon$3VANL000015 700 1$aBen Ari$bMordechai$3VANV036315$05385 712 $aSpringer $3VANV108073$4650 801 $aIT$bSOL$c20240906$gRICA 856 4 $u/sebina/repository/catalogazione/documenti/Ben-Ari - Mathematical logic for computer science.pdf$zContents 912 $aVAN00045008 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08CONS 03-XX 0322 $e08 5760 I a 20060915 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST 03-XX 0322 $e08 8669 I c 20091125 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST 03-XX 0322 $e08 8670 I d 20091125 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST 03-XX 0322 $e08 8668 I b 20091125 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST 03-XX 0322 $e08VS 4314 I e 20060915 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST 03-XX 0322 $e08VS 4608 I f 20060517 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST 03-XX 0322 $e08VS 4609 I g 20060517 996 $aMathematical logic for computer science$91020153 997 $aUNICAMPANIA