01300nam0 2200313 i 450 SUN002371320160928095624.29705-345-4644-70.0020040914d1999 |0engc50 baengUS|||| |||||*Computabilitycomputable functions, logic, and the foundations of mathematics, with Computability - a timelineRichard Epstein, Walter Carnielli2nd edBelmontLondonWadsworth1999337 p.ill.24 cm.03-XXMathematical logic and foundations [MSC 2020]MFSUNC01975003DxxComputability and recursion theory [MSC 2020]MFSUNC024386GBLondonSUNL000015BelmontSUNL000279Epstein, Richard L.SUNV01981446609Carnielli, Walter A.SUNV019815550470WadsworthSUNV000636650Carnielli, Walter AlexandreCarnielli, Walter A.SUNV066325ITSOL20200720RICASUN0023713UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 1290 08 5105 I 20040914 Computability1432962UNICAMPANIA