| Shelfclass_id | 4.B.3 |
| Sortkey | GALLIER, JEAN H |
| Authors | Jean H. Gallier |
| Title | Logic for Computer Science: Foundations of Automatic Theorem Proving |
| Publisher | Harper & Row |
| Year | c1986 |
| Languages | eng |
| Isbn | 0060422254 |
| Series | Harper & Row computer science and technology series |
| Volume | 5 |
| Description | xv, 511 p. 25 cm. |
| Record date | 20070222 |
| Location | New York, NY |
| Keywords | Automatic theorem proving, Logic, Symbolic and mathematical |