01717nam0 22003973i 450 TO0007426620240816063054.0053410356120081020d1989 ||||0itac50 baengusz01i xxxe z01nComputabilitycomputable 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 seriesLogica simbolicaFIRNAPC147266ILogica matematicaFIRNAPC000388IFunzioni computabiliFIRNAPC270620N511.3PRINCIPI GENERALI DELLA MATEMATICA. LOGICA MATEMATICA (LOGICA SIMBOLICA)14511.3LOGICA MATEMATICA (LOGICA SIMBOLICA)22Epstein, Richard L.MILV03526507046609Carnielli, Walter AlexandreMILV03526707066691Carnielli, WalterCFIV196814Carnielli, Walter AlexandreITIT-NA007920081020IT-BN0095 TO00074266Biblioteca Centralizzata di Ateneo1 v. 01SALA DING 511.3 EPS.co 0102 0000009845 B A4 1 v.3 1994050419940504 01Computability1575060UNISANNIO