LEADER 01121nam a2200265 u 4500 001 000000079349 003 CaOOAMICUS 005 20070226123529.0 008 040531s2001 nyu u000 u eng u 020 $a0393322297 035 $a10997344 040 $aPUL$bita 100 1 $aDavis, Martin,$d1928-$0(OLS)http://pul/name/48980 245 10$aEngines of logic :$bmathematicians and the origin of Computer /$cMartin Davis. 260 $aNew York ;$aLondon :$bNorton & Company,$c2001. 300 $axii, 257 p. ;$c21 cm 504 $aBibliografia in nota. 650 4$aLogica.$0(OLS)http://pul/subject/441 650 4$aInformatica.$0(OLS)http://pul/subject/27578 850 $aPUL 852 $aPUL$W1$xSL Cons. Gen., Altre Classi 3$y75$m004. 09 DAVMA 1$j121307$nBK-PRI$qDDC 21$B101553$CPULBib$Z2$F101553 $H88043 $82 941 1 $a9 996 $6020$a0393322297$9(OLS)http://pul/number/104269 996 $6245$aEngines of logic :$bmathematicians and the origin of Computer$9(OLS)http://pul/title/103900 996 $6260$aNew York ;$aLondon :$bNorton & Company$9(OLS)http://pul/publisher/75620 LEADER 01243nam a2200277 i 4500 001 000000108253 003 CaOOAMICUS 005 20090313155158.0 008 071116s2007 fr 001 0 fre c 020 $a2-7116-1893-5 040 $aPUL$bita$dLDB 100 1 $aBermon, Pascale.$0(OLS)http://pul/name/66387 245 12$aL'assentiment et son objet chez Grégorie de Rimini /$cpar Pascal Bermon. 260 $aParis :$bVrin,$c2007. 300 $a428 p. ;$c24 cm. 490 1 $aEtudes de philosophie médiévale ;$v93 500 $aSul front.: Ouvrage publié avec le concours du Centre national de livre. 504 $aBibliografia: p. [389]-410. 600 04$aGregorius Ariminensis,$cO.E.S.A.,$dm. 1358.$0(OLS)http://pul/subject/15426 830 0$aEtudes de philosophie médiévale ;$v93.$0(OLS)http://pul/title/1367 850 $aPUL 852 $aPUL$W1$xSL Filosofia 2$y80$mPhil A4 93$j123285$qStampati Altre Collocazioni$B122253$CPULBib$Z2$F122253 $H105518 $82 941 1 $a10 996 $6020$a2-7116-1893-5$9(OLS)http://pul/number/136247 996 $6245$aL'assentiment et son objet chez Grégorie de Rimini$9(OLS)http://pul/title/136243 996 $6260$aParis :$bVrin$9(OLS)http://pul/publisher/50780