4899797
9780060422257
Out of Stock
The item you're looking for is currently unavailable.
Jean Gallier is the author of 'Logic for Computer Science: Foundations of Automatic Theorem Proving (Harper & Row computer science and technology series)' with ISBN 9780060422257 and ISBN 0060422254.
[read more]