The Logic programming tutor - Paine, Jocelyn (London ; Kluwer Academic Publishers, 1991)
Keywords: Mathematical Logic; Mathematics