TY  - BOOK
AU  - Paine, Jocelyn
TI  - The Logic programming tutor
SN  - 0792314484
U1  - 511.3 
PY  - 1991///
CY  - London
PB  - ; Kluwer Academic Publishers
KW  - Mathematical Logic
KW  - Mathematics
ER  -