LEADER 01295nam0 2200301 i 450 
001 VAN0052072
005 20231214115355.606
010   $a02-620-4142-1
100   $a20060912d1994       |0itac50      ba
101   $aeng
102   $aUS
105   $a||||    |||||
200 1 $aFrom logic to logic programming$fKees Doets
210   $aCambridge, Mass. ; London$cThe MIT press$d1994
215   $aXII, 214 p.$d24 cm
410  1$1001VAN0052074$12001 $aFoundations of computing$1210  $aCambridge$aLondon$cMIT.
606   $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF
606   $a68N17$xLogic programming [MSC 2020]$3VANC020586$2MF
620   $aUS$dCambridge <Mass.>$3VANL000513
700  1$aDoets$bKees$3VANV040969$0726353
712   $aMIT <editore>$3VANV111700$4650
801   $aIT$bSOL$c20231215$gRICA
856 4 $u/sebina/repository/catalogazione/documenti/Doets - From logic to logic programming.pdf$zContents
899   $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08
912   $aVAN0052072
950   $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST     03-XX                   1158        $e08   7473      II      20060912            
996   $aFrom logic to logic programming$91427379
997   $aUNICAMPANIA