Logic for Problem Solving, (1979)

by Robert Kowalski