Logic for Problem Solving (1979)

by R A Kowalski