Book (31 Jan 1989)
Not available for sale
Includes delivery to the United States
Out of stock
Contains a precise and complete description of the computational logic develo by the authors; will serve also as a reference guide to the associated mechanical theorem proving system. Annotation copyright Book News, Inc. Portland, Or.
| ISBN: | 9780121229528 |
| Publisher: | Academic Press |
| Imprint: | Academic Press |
| Pub date: | 31 Jan 1989 |
| DEWEY: | 511.3 |
| DEWEY edition: | 19 |
| Number of pages: | 408 |
| Weight: | 748g |
| Height: | 234mm |
| Width: | 158mm |
| Spine width: | 19mm |
$8.68off
Hardback
Published 06 Jul 2023
Save $8.68
$11.98off
Hardback
Published 02 Aug 2023
Save $11.98
$1.50off
Paperback
Published 26 Jul 2023
Save $1.50
$4.45off
Paperback
Published 26 Jun 2023
Save $4.45
