02248nam0 22004933i 450 TO0007426620251003044401.0053410356120081020d1989 ||||0itac50 baengengusz01i xxxe z01nz01ncRDAcarrierComputabilitycomputable functions, logic, and the foundations of mathematicsRichard L. Epstein, Walter A. CarnielliPacific Grove (CA)Wadsworth & Brooks/Cole Advanced Books & Softwarec1989VII, 297 p.24 cmCole mathematics seriesˆThe ‰Wadsworth & Brooks/Cole mathematics seriesBibliografia: P. 271-278.001TO000742652001 Cole mathematics series001VEA00069122001 ˆThe ‰Wadsworth & Brooks/Cole mathematics seriesComputability : computable functions, logic, and the foundations of mathematicsRMS3072495MILV0352654209590Logica simbolicaFIRSBLC002225ILogica matematicaFIRCFIC000378EFunzioni computabiliFIRCFIC052682I511.3LOGICA MATEMATICA (LOGICA SIMBOLICA)14511.3LOGICA MATEMATICA (LOGICA SIMBOLICA)22Logica simbolicaLogica matematica <Logica simbolica>Funzioni algoritmicheLogica matematicaLogica simbolicaLogica matematicaLogica matematica <Logica simbolica>Funzioni computabiliFunzioni algoritmicheEpstein, Richard L.MILV03526507046609Carnielli, Walter AlexandreMILV03526707066691Carnielli, WalterCFIV196814Carnielli, Walter AlexandreITIT-00000020081020IT-BN0095 NAP 01SALA DING $TO00074266Biblioteca Centralizzata di Ateneo1 v. 01SALA DING 511.3 EPS.co 0102 0000009845 VMA A4 1 v.Y 1994050419940504 01Computability : computable functions, logic, and the foundations of mathematics4209590UNISANNIO