Logic for Problem Solving
by
Robert Kowalski
Paperback
details (
USA
).
ISBN: 978-0-13-500711-2
ISBN-10: 0-13-500711-9
Appleton & Lange
· 1979