01361nam0 2200325 i 450 VAN002371320230316042902.83405-345-4644-720040914d1999 |0itac50 baengUS|||| |||||Computabilitycomputable functions, logic, and the foundations of mathematics, with Computability - a timelineRichard Epstein, Walter Carnielli2. edBelmontLondonWadsworth1999337 p.ill.24 cm03-XXMathematical logic and foundations [MSC 2020]VANC019750MF03DxxComputability and recursion theory [MSC 2020]VANC024386MFGBLondonVANL000015BelmontVANL000279EpsteinRichard L.VANV01981446609CarnielliWalter A.VANV019815550470WadsworthVANV108463650Carnielli, Walter AlexandreCarnielli, Walter A.VANV066325ITSOL20230616RICABIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08VAN0023713BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 1290 08 5105 I 20040914 Computability1432962UNICAMPANIA