Author: Gallier, Jean
Logic for Computer Science: Foundations of Automatic Theorem Proving (Harper & Row computer science and technology series)
Image provided by third party, not actual book.
£20.00
| Author: | Gallier, Jean |
| Illustrator: | N/A |
| Publisher: | Harper & Row |
| Place of publication: | USA |
| Year of Publication: | 1986 |
| Edition: | N/A |
| ISBN: | 0060422254 |
| SKU: | 058562 |
| Book condition: | Good |
| Jacket Condition: | No Jacket |
| Binding Type: | Cloth |
| Book Size: | 8vo - over 7¾" - 9¾" tall |
| Book Catalogs: | N/A |
| Book Keywords: | N/A |
| Book Note: | Type: Book N.B. Small plain label to inside front cover. No dust jacket. light rubbing to head and tail of spine and corners of boards. |
