LEADER 01143nam0-2200373li-450 
001 990000143350203316
005 20180312154621.0
010   $a0-534-10356-1
035   $a0014335
035   $aUSA010014335
035   $a(ALEPH)000014335USA01
035   $a0014335
100   $a20001109d1989----km-y0itay0103----ba
101 0 $aeng
102   $aUS
200 1 $aComputability$ecomputable functions, logic and the foundations of mathematics$fRichard L. Epstein, Walter A. Carnielli
210   $aPacific Grove (Calif.)$cWadsworth& Brooks$dcopyr. 1989
610 1 $afunzioni computabili
610 1 $alogica matematica
610 1 $alogica simbolica
676   $a511.3$9.
700  1$aEpstein,$bRichard L.$046609
702  1$aCarnielli,$bWalter A.
801   $aSistema bibliotecario di Ateneo dell' Università di Salerno$gRICA
912   $a990000143350203316
951   $a511.3 EPS$b0002506
959   $aBK
969   $aTEC
979   $c19940714
979   $c20001110$lUSA01$h1712
979   $c20020403$lUSA01$h1622
979   $aPATRY$b90$c20040406$lUSA01$h1610
996   $aComputability$91488013
997   $aUNISA