01232nam a2200313 u 4500000000073942CaOOAMICUS20070226122415.0021127s1982 nyu u000 u eng u048661471910946100PUL(R)itaDavis, Martin,1928-(OLS)http://pul/name/48980Computability & Unsolvability /Martin Davis ..New York :Dover,1982.xxv, 248 p. ;20 cmDover books on mathematicsContiene indice."References": p. 237-241.Logica matematica.(OLS)http://pul/subject/9225Elaborazione automatica dei dati.(OLS)http://pul/subject/12704Dover books on mathematics.(OLS)http://pul/title/97183PULPUL1SL Religione 284RH E2 6495480BK-PRI Stampati altre collocazioni95480PULBib295480 110INV: 903520200486614719(OLS)http://pul/number/95558245Computability & Unsolvability(OLS)http://pul/title/97182260New York :Dover(OLS)http://pul/publisher/7442601225nam a2200289 a 4500000000145434CaOOAMICUS20150903132855.0150903s1986 it u000 u ita rPULitaitagerExeler, Adolf.(OLS)http://pul/name/46812Jungen Menschen leben helfen.Italiano.(OLS)http://pul/title/183913Valori di ieri e di oggi :aiutare i giovani a vivere /Adolf Exeler.Roma :Edizioni Paoline,1986.218 p. ;21 cmAndate e annunciate.Studi e ricerche ;06Bibliografia in nota.AdolescentiAspetti religiosi.(OLS)http://pul/subject/41851Andate e annunciate.Studi e ricerche ;06.(OLS)http://pul/title/172374PULPUL1DP1 Fondo S. Lanza1213 O 9168178Fondi168762PULBib2168762 Lan2026 21Nota ms. di possesso: Sergio Lanza245Valori di ieri e di oggi :aiutare i giovani a vivere(OLS)http://pul/title/183914260Roma :Edizioni Paoline(OLS)http://pul/publisher/47933