LEADER 01232nam a2200313 u 4500 001 000000073942 003 CaOOAMICUS 005 20070226122415.0 008 021127s1982 nyu u000 u eng u 020 $a0486614719 035 $a10946100 040 $aPUL(R)$bita 100 1 $aDavis, Martin,$d1928-$0(OLS)http://pul/name/48980 245 10$aComputability & Unsolvability /$cMartin Davis .. 260 $aNew York :$bDover,$c1982. 300 $axxv, 248 p. ;$c20 cm 490 1 $aDover books on mathematics 500 $aContiene indice. 504 $a"References": p. 237-241. 650 4$aLogica matematica.$0(OLS)http://pul/subject/9225 650 4$aElaborazione automatica dei dati.$0(OLS)http://pul/subject/12704 830 0$aDover books on mathematics.$0(OLS)http://pul/title/97183 850 $aPUL 852 $aPUL$W1$xSL Religione 2$y84$mRH E2 64$j95480$nBK-PRI$b $qStampati altre collocazioni$B95480$CPULBib$Z2$F95480 $H $81 941 1 $a10 961 $aINV: 90352 996 $6020$a0486614719$9(OLS)http://pul/number/95558 996 $6245$aComputability & Unsolvability$9(OLS)http://pul/title/97182 996 $6260$aNew York :$bDover$9(OLS)http://pul/publisher/74426 LEADER 01166nam a2200301 a 4500 001 000000142544 003 CaOOAMICUS 005 20150331102736.0 008 150331s1994 it abf u000 u ita r 020 $z8878012246* 040 $aPUL$bita 100 1 $aScarcia Amoretti, Biancamaria.$0(OLS)http://pul/name/79460 245 10$aSciiti nel mondo /$cdi Biancamaria Scarcia Amoretti. 260 $aRoma :$bJouvence,$cİ1994. 300 $a345 p., [4] c. di tav. :$bill., c. geogr. ;$c22 cm 490 1 $aStoria ;$v32 500 $aInclude indice. 504 $aBibliografia in nota e p. 225-244. 650 4$aSciiti.$0(OLS)http://pul/subject/41481 650 4$aSette religiose.$0(OLS)http://pul/subject/14612 830 0$aStoria (Jouvence) ;$v32.$0(OLS)http://pul/title/24902 850 $aPUL 852 $aPUL$W1$xDP1 Fondo Capitani$y116$m10 F 24$j43858$qFondi$B164649$CPULBib$Z2$F164649 $HCap2130 $82 941 1 $a1 996 $6020$z8878012246*$9(OLS)http://pul/number/157296 996 $6245$aSciiti nel mondo$9(OLS)http://pul/title/180450 996 $6260$aRoma :$bJouvence$9(OLS)http://pul/publisher/48517