01221nam0 2200289 i 450 SUN005207220160126113532.86002-620-4142-10.0020060912d1994 |0engc50 baengUS|||| |||||*From logic to logic programmingKees DoetsCambridge, Mass. ; LondonThe MIT press1994XII, 214 p.24 cm.001SUN00520742001 Foundations of computing210 CambridgeLondonMIT.03-XXMathematical logic and foundations [MSC 2020]MFSUNC01975068N17Logic programming [MSC 2020]MFSUNC020586USCambridge <Mass.>SUNL000513Doets, KeesSUNV040969726353MITSUNV005769650ITSOL20200720RICA/sebina/repository/catalogazione/documenti/Doets - From logic to logic programming.pdfContentsSUN0052072UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 1158 08 7473 II 20060912 From logic to logic programming1427379UNICAMPANIA