00894nam a22002411i 450099100346626970753620040419140836.0040802s1960 it |||||||||||||||||ita b13078380-39ule_instARCHE-103099ExLBiblioteca Interfacoltà itaA.t.i. Arché s.c.r.l. Pandora Sicilia s.r.l.812O'Neill, Eugene131996Desiderio sotto gli olmi /Eugene O'NeillFirenze :Sansoni,stampa 1960111 p. ;17 cmPiccolo teatro Sansoni ;9.b1307838002-04-1405-08-04991003466269707536LE002 Fondo Giudici F 8812002000224354le002C. 1-E0.00-no 00000.i1370703605-08-04Desiderio sotto gli olmi291027UNISALENTOle00205-08-04ma -itait 0102248nam0 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