ISBN 9780060422257 books & textbook
Logic for Computer Science: Foundations of Automatic Theorem Proving (Harper & Row Computer Science and Technology Series)
Longman Higher Education /1986-01-01 Hardcover / 511 Pages
isbn-10: 0060422254 / isbn-13: 9780060422257
