LEADER 01717nam0 22003973i 450 
001 TO00074266
005 20240816063054.0
010   $a0534103561
100   $a20081020d1989    ||||0itac50      ba
101 | $aeng
102   $aus
181  1$6z01$ai $bxxxe  
182  1$6z01$an
200 1 $aComputability$ecomputable functions, logic, and the foundations of mathematics$fRichard L. Epstein, Walter A. Carnielli
210   $aPacific Grove (CA)$cWadsworth & Brooks/Cole Advanced Books & Software$dc1989
215   $aVII, 297 p.$d24 cm
225 | $aCole mathematics series
225 | $a˜The œWadsworth & Brooks/Cole mathematics series
300   $aBibliografia: P. 271-278.
410  0$1001TO00074265$12001 $aCole mathematics series
410  0$1001VEA0006912$12001 $a˜The œWadsworth & Brooks/Cole mathematics series
606   $aLogica simbolica$2FIR$3NAPC147266$9I
606   $aLogica matematica$2FIR$3NAPC000388$9I
606   $aFunzioni computabili$2FIR$3NAPC270620$9N
676   $a511.3$9PRINCIPI GENERALI DELLA MATEMATICA. LOGICA MATEMATICA (LOGICA SIMBOLICA)$v14
676   $a511.3$9LOGICA MATEMATICA (LOGICA SIMBOLICA)$v22
700  1$aEpstein$b, Richard L.$3MILV035265$4070$046609
701  1$aCarnielli$b, Walter Alexandre$3MILV035267$4070$066691
790  1$aCarnielli$b, Walter$3CFIV196814$zCarnielli, Walter Alexandre
801  3$aIT$bIT-NA0079$c20081020
850   $aIT-BN0095          
912   $aTO00074266
950  0$aBiblioteca Centralizzata di Ateneo$c1 v.$d 01SALA DING 511.3                   EPS.co$e 0102 0000009845    B A4                    1 v.$f3 $h19940504$i19940504
977   $a 01
996   $aComputability$91575060
997   $aUNISANNIO