Foundations of logic programming (Symbolic computation)

Berlin 1984 Springer Verlag. Hardcover. Octavo, 124pp., decorated boards. Institution stamps on fore-edges, small label on front, a few small stamps on endpapers--no other marings, no bookplate or pocket, VG.