01918nam0 2200421 i 450 VAN011371620230706121557.311N978331922156420180117d2015 |0itac50 baengCH|||| |||||Turing’s revolutionthe impact of his ideas about computabilityGiovanni Sommaruga, Thomas Strahm editors[Cham]BirkhäuserSpringer2015XXIV, 329 p.ill.24 cmVAN0235323Turing’s revolution : the impact of his ideas about computability152275103-XXMathematical logic and foundations [MSC 2020]VANC019750MF01AxxHistory of mathematics and mathematicians [MSC 2020]VANC019751MF03DxxComputability and recursion theory [MSC 2020]VANC024386MF03AxxPhilosophical aspects of logic and foundations [MSC 2020]VANC031175MFAlonzo ChurchKW:KComputer musicKW:KEmil PostKW:KGeneralised computabilityKW:KPhilosophy of computabilityKW:KCHChamVANL001889SommarugaGiovanniVANV087815StrahmThomasVANV087816Birkhäuser <editore>VANV108193650Springer <editore>VANV108073650ITSOL20240614RICAhttp://dx.doi.org/10.1007/978-3-319-22156-4E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN0113716BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-book 0502 08eMF502 20180117 Turing’s revolution1522751UNICAMPANIA