LEADER 01917nam0 22004093i 450 001 TO00074266 005 20241129062652.0 010 $a0534103561 100 $a20081020d1989 ||||0itac50 ba 101 | $aeng$ceng 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 500 10$aComputability : computable functions, logic, and the foundations of mathematics$3RMS3072495$9MILV035265$94209590 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 : computable functions, logic, and the foundations of mathematics$94209590 997 $aUNISANNIO