LEADER 01207nam0 2200277 i 450 001 SUN0052056 005 20161020125859.158 010 $a88-7741-004-$d0.00 100 $a20060912d1976 |0itac50 ba 101 $aita 102 $aIT 105 $a|||| ||||| 200 1 $a*Teoria della computabilità, logica, teoria dei linguaggi formali$fMario Aiello, ... [et al.] 210 $aPisa$cETS$d1976 215 $aVIII, 323 p.$d24 cm. 606 $a03-XX$xMathematical logic and foundations [MSC 2020]$2MF$3SUNC019750 606 $a68Qxx$xTheory of computing [MSC 2020]$2MF$3SUNC019949 620 $dPisa$3SUNL000008 702 1$aAiello$b, Mario$3SUNV040956 712 $aETS$3SUNV000013$4650 801 $aIT$bSOL$c20200803$gRICA 856 4 $u/sebina/repository/catalogazione/documenti/Aiello, Albano et al. - Teoria della computabilità, logica, teoria dei linguaggi formali.PDF$zContents 912 $aSUN0052056 950 $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST 03-XX 0078 $e08 7469 I 20060912 996 $aTeoria della computabilità, logica, teoria dei linguaggi formali$9973479 997 $aUNICAMPANIA