LEADER 00821nam  2200301   450 
001 996235945403316
005 20171103132510.0
010   $a978-88-548-9299-6
100   $a20171103d2016----km y0itay5003    ba
101 0 $aeng
102   $aIT
105 0 $aa       00  y
200 1 $aElements of computability, decidability, and complexity$fAlberto Pettorossi
205   $a5. ed.
210   $aAriccia$cAracne$d2016
215   $a189 p.$cill.$d24 cm
225 2 $aAOI
410  0$aAOI
606 0 $aLogica matematica$2BNCF
676   $a511.3
700  1$aPETTOROSSI$bAlberto$017835
801 0 $aIT$bsalbc$gISBD
912   $a996235945403316
951   $a511.3 PET 1$c511$d00332244
959   $aBK
969   $aTEC
996   $aElements of Computability, Decidability, and Complexity$9712986
997   $aUNISA