First-Order Logic and Automated Theorem Proving - 9781461275152
Springer
Pages: 344, Edition: Second Edition 1996, Paperback, Springer
Compare prices (3 shops)
| shop | Price | Action |
|---|---|---|
|
62,64 GBP | Go to shop |
|
74,57 GBP | Go to shop |
|
|
80,20 GBP | Go to shop |