Releasing 10
Paperback
Published 27 May 2025
- $17.00
Logic for Computer Science Foundations of Automatic Theorem Proving - Harper & Row Computer Science and Technology Series
Book (31 Jan 1986)
Not available for sale
Out of stock
Check stock
Book information
| ISBN: | 9780060422257 |
| Publisher: | Harper & Row |
| Imprint: | Harper & Row |
| Pub date: | 31 Jan 1986 |
| DEWEY: | 511.3 |
| DEWEY edition: | 18 |
| Number of pages: | 511 |
| Weight: | 1810g |
| Height: | 250mm |
| Width: | 160mm |
Blackwell's Bestsellers
Releasing 10
Signed
Eighteen
Paperback
Published 05 Jun 2025
- $14.96
Rewind It Back
Paperback
Published 20 May 2025
- $14.21
Signed
Bury Our Bones in the Midnight ...
Hardback
Published 10 Jun 2025
- $29.95
80,000 Hours
Paperback
Published 31 Jul 2023
- $23.66
$1.77off
Magnolia Parks
Paperback
Published 01 Dec 2022
Save $1.77
- RRP $20.41
- $18.64
Into the Dark
Paperback
Published 13 Feb 2024
- $21.44
$0.59off
Daisy Haites. The Great Undoing
Paperback
Published 15 Dec 2022
Save $0.59
- RRP $20.41
- $19.82
$0.81off
The Long Way Home
Paperback
Published 15 Dec 2022
Save $0.81
- RRP $20.41
- $19.60
$0.21off
Daisy Haites
Paperback
Published 15 Dec 2022
Save $0.21
- RRP $20.41
- $20.20
$0.94off
Change of Hart
Paperback
Published 27 May 2025
Save $0.94
- RRP $13.60
- $12.66
House of Flame and Shadow
Paperback
Published 10 Jun 2025
- $14.24
Play Along
Paperback
Published 01 Aug 2024
- $14.27
Caught Up
Paperback
Published 23 Nov 2023
- $14.24
Signed
Slow Horses
Hardback
Published 05 Jun 2025
- $40.84
$0.03off
The Right Move
Paperback
Published 17 Aug 2023
Save $0.03
- RRP $13.60
- $13.57
Mile High
Paperback
Published 17 Aug 2023
- $14.70
Paladin's Grace
Paperback
Published 08 Apr 2025
- $13.76
Signed
The Buried City
Hardback
Published 22 May 2025
- $29.95
$0.38off
People Pleaser
Paperback
Published 22 May 2025
Save $0.38
- RRP $12.24
- $11.86