01143nam0-2200373li-450 99000014335020331620180312154621.00-534-10356-10014335USA010014335(ALEPH)000014335USA01001433520001109d1989----km-y0itay0103----baengUSComputabilitycomputable functions, logic and the foundations of mathematicsRichard L. Epstein, Walter A. CarnielliPacific Grove (Calif.)Wadsworth& Brookscopyr. 1989funzioni computabililogica matematicalogica simbolica511.3.Epstein,Richard L.46609Carnielli,Walter A.Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000143350203316511.3 EPS0002506BKTEC1994071420001110USA01171220020403USA011622PATRY9020040406USA011610Computability1488013UNISA