Logic for Computer Science: Foundations of Automatic Theorem Proving (Harper & Row Computer Science and Technology Series) by Jean H. Gallier Hardcover, 528 Pages, Published 1986
List Price: $51.95 ISBN-10: 0-471-60328-7 (0471603287) ISBN-13: 978-0-471-60328-3 (9780471603283) |  |