by Jean H Gallier
Hardcover
details (UK).
(see also: Unbound)
ISBN: 978-0-06-042225-7
ISBN-10: 0-06-042225-4
Harper & Row · 1986
|
|
by Jean H GallierHardcover details (UK).
ISBN: 978-0-06-042225-7 ISBN-10: 0-06-042225-4 Harper & Row · 1986 |
| See also: | ||
| 2015 | Paperback | Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition (Dover Books on Computer Science) |