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 mathematics4209590UNISANNIO01691oam 2200517M 450 991071550980332120260430110906.0(CKB)5470000002512961(OCoLC)1065571920(OCoLC)995470000002512961(DGPO)001142099(EXLCZ)99547000000251296120070221d1837 ua 0engurcn|||||||||txtrdacontentcrdamediacrrdacarrierAbraham Woodall. (To accompany Bill H.R. No. 115.) December 22, 1837[Washington, D.C.] :[publisher not identified],1837.1 online resource (1 page)House report / 25th Congress, 2nd session. House ;no. 98[United States congressional serial set ] ;[serial no. 333]Batch processed record: Metadata reviewed, not verified. Some fields updated by batch processes.FDLP item number not assigned.Abraham Woodall. Land tenureLand titlesPublic land salesRecording and registrationLegislative materials.lcgftLand tenure.Land titles.Public land sales.Recording and registration.Chapman Reuben1799-1882Democrat (AL)1392690WYUWYUOCLCOOCLCQOCLCOOCLCQBOOK9910715509803321Abraham Woodall. (To accompany Bill H.R. No. 115.) December 22, 18373460588UNINA