LEADER 01300nam0 2200313 i 450 
001 SUN0023713
005 20160928095624.297
010   $a05-345-4644-7$d0.00
100   $a20040914d1999       |0engc50      ba
101   $aeng
102   $aUS
105   $a||||    |||||
200 1 $a*Computability$ecomputable functions, logic, and the foundations of mathematics, with Computability - a timeline$fRichard Epstein, Walter Carnielli
205   $a2nd ed
210   $aBelmont$aLondon$cWadsworth$d1999
215   $a337 p.$cill.$d24 cm.
606   $a03-XX$xMathematical logic and foundations [MSC 2020]$2MF$3SUNC019750
606   $a03Dxx$xComputability and recursion theory [MSC 2020]$2MF$3SUNC024386
620   $aGB$dLondon$3SUNL000015
620   $dBelmont$3SUNL000279
700  1$aEpstein$b, Richard L.$3SUNV019814$046609
701  1$aCarnielli$b, Walter A.$3SUNV019815$0550470
712   $aWadsworth$3SUNV000636$4650
790  1$aCarnielli, Walter Alexandre$zCarnielli, Walter A.$3SUNV066325
801   $aIT$bSOL$c20200720$gRICA
912   $aSUN0023713
950   $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST     03-XX                   1290        $e08   5105      I       20040914            
996   $aComputability$91432962
997   $aUNICAMPANIA