LEADER 01361nam0 2200325 i 450 
001 VAN0023713
005 20230316042902.834
010   $a05-345-4644-7
100   $a20040914d1999       |0itac50      ba
101   $aeng
102   $aUS
105   $a||||    |||||
200 1 $aComputability$ecomputable functions, logic, and the foundations of mathematics, with Computability - a timeline$fRichard Epstein, Walter Carnielli
205   $a2. ed
210   $aBelmont$aLondon$cWadsworth$d1999
215   $a337 p.$cill.$d24 cm
606   $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF
606   $a03Dxx$xComputability and recursion theory [MSC 2020]$3VANC024386$2MF
620   $aGB$dLondon$3VANL000015
620   $dBelmont$3VANL000279
700  1$aEpstein$bRichard L.$3VANV019814$046609
701  1$aCarnielli$bWalter A.$3VANV019815$0550470
712   $aWadsworth$3VANV108463$4650
790  1$aCarnielli, Walter Alexandre$zCarnielli, Walter A.$3VANV066325
801   $aIT$bSOL$c20230616$gRICA
899   $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08
912   $aVAN0023713
950   $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST     03-XX                   1290        $e08   5105      I       20040914            
996   $aComputability$91432962
997   $aUNICAMPANIA