Logic with Prolog /
Gibbins, Peter
Logic with Prolog / Peter Gibbins - 1st ed. - New York : Oxford University Press, 1988. - 321 p. : ill. ; 22 cm. - Oxford applied mathematics & computing science series .
0198596715 0198596596
Logic
005.133 / GIL
Logic with Prolog / Peter Gibbins - 1st ed. - New York : Oxford University Press, 1988. - 321 p. : ill. ; 22 cm. - Oxford applied mathematics & computing science series .
0198596715 0198596596
Logic
005.133 / GIL