Logic for Problem Solving (North-Holland (1979)

by R A Kowalski