LEADER 01221nam0 2200289 i 450 001 SUN0052072 005 20160126113532.860 010 $a02-620-4142-1$d0.00 100 $a20060912d1994 |0engc50 ba 101 $aeng 102 $aUS 105 $a|||| ||||| 200 1 $a*From logic to logic programming$fKees Doets 210 $aCambridge, Mass. ; London$cThe MIT press$d1994 215 $aXII, 214 p.$d24 cm. 410 1$1001SUN0052074$12001 $aFoundations of computing$1210 $aCambridge$aLondon$cMIT. 606 $a03-XX$xMathematical logic and foundations [MSC 2020]$2MF$3SUNC019750 606 $a68N17$xLogic programming [MSC 2020]$2MF$3SUNC020586 620 $aUS$dCambridge $3SUNL000513 700 1$aDoets$b, Kees$3SUNV040969$0726353 712 $aMIT$3SUNV005769$4650 801 $aIT$bSOL$c20200720$gRICA 856 4 $u/sebina/repository/catalogazione/documenti/Doets - From logic to logic programming.pdf$zContents 912 $aSUN0052072 950 $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST 03-XX 1158 $e08 7473 II 20060912 996 $aFrom logic to logic programming$91427379 997 $aUNICAMPANIA LEADER 01805nam 2200337Ia 450 001 996387190003316 005 20200824132602.0 035 $a(CKB)4940000000085511 035 $a(EEBO)2240917104 035 $a(OCoLC)ocm38160602e 035 $a(OCoLC)38160602 035 $a(EXLCZ)994940000000085511 100 $a19980106d1617 uy | 101 0 $aeng 135 $aurbn||||a|bb| 200 12$aA defense of the sincere and true translation of the Holy Scriptvres into the English tongve, against the manifold cauils, friuolous quarrels, and impudent slanders of Gregorie Martin, one of the readers of Popish diuinitie in the traiterous seminarie of Rhemes$b[electronic resource] /$fby VVilliam Fulke ... ; whereunto is added a briefe confutation of all such quarrels and cauils, as haue beene of late vttered by diuers papists in their English pamphlets, against the writings of the said William Fulke 210 $aLondon $cPrinted for Iohn Bill$d1617 215 $a[6], 25, 206, [2], 18 p 300 $aIncludes index. 300 $aSignatures: A-V?, X?. 300 $aReproduction of original in: Harvard University. Library. 327 $aThe answere to the Preface -- A defense of the English translations of the Bible -- A confutation of the Papists quarels against the writings of W. Fulke. 330 $aeebo-0062 700 $aFulke$b William$f1538-1589.$01001008 801 0$bEBK 801 1$bEBK 801 2$bWaOLN 906 $aBOOK 912 $a996387190003316 996 $aA defense of the sincere and true translation of the Holy Scriptvres into the English tongve, against the manifold cauils, friuolous quarrels, and impudent slanders of Gregorie Martin, one of the readers of Popish diuinitie in the traiterous seminarie of Rhemes$92305396 997 $aUNISA