Logic for Computer Science

Logic for Computer Science Foundations of Automatic Theorem Proving - Harper & Row Computer Science and Technology Series

Book (31 Jan 1986)

Not available for sale

Includes delivery to the United States

Out of stock

This service is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.

Check stock

Book information

ISBN: 9780060422257
Publisher: Harper & Row
Imprint: Harper & Row
Pub date:
DEWEY: 511.3
DEWEY edition: 18
Number of pages: 511
Weight: 1810g
Height: 250mm
Width: 160mm

Blackwell's Bestsellers

The Condiment Book

Claire Dinhut

Hardback
Published 26 Sep 2024

  • $20.23
Add to basket

$2.36off

How to Build a Body That Lasts

Adam Richardson

Paperback
Published 26 Sep 2024

Save $2.36

  • RRP $22.93
  • $20.57
Add to basket
Intermezzo

Sally Rooney

Paperback
Published 24 Sep 2024

  • $20.33
Add to basket

$2.52off

Intermezzo

Sally Rooney

Hardback
Published 24 Sep 2024

Save $2.52

  • RRP $27.00
  • $24.48
Add to basket
80,000 Hours

Benjamin Todd (autho...

Paperback
Published 31 Jul 2023

  • $23.36
Add to basket

$1.96off

Fourth Wing

Rebecca Yarros

Paperback
Published 17 Sep 2024

Save $1.96

  • RRP $26.98
  • $25.02
Add to basket
Into the Dark

Jessa Hastings

Paperback
Published 13 Feb 2024

  • $19.63
Add to basket
Pucking Sweet

Emily Rath

Paperback
Published 26 Sep 2024

  • $14.39
Add to basket

$0.23off

Magnolia Parks

Jessa Hastings

Paperback
Published 01 Dec 2022

Save $0.23

  • RRP $20.23
  • $20.00
Add to basket

$2.20off

Daisy Haites. The Great Undoing

Jessa Hastings

Paperback
Published 15 Dec 2022

Save $2.20

  • RRP $20.23
  • $18.03
Add to basket

$0.78off

The Long Way Home

Jessa Hastings

Paperback
Published 15 Dec 2022

Save $0.78

  • RRP $20.23
  • $19.45
Add to basket

$0.87off

Daisy Haites

Jessa Hastings

Paperback
Published 15 Dec 2022

Save $0.87

  • RRP $20.23
  • $19.36
Add to basket

$1.40off

Stone Yard Devotional

Charlotte Wood

Hardback
Published 07 Mar 2024

Save $1.40

  • RRP $22.93
  • $21.53
Add to basket

$6.07off

Why Am I Like This?

Gemma Styles

Hardback
Published 12 Sep 2024

Save $6.07

  • RRP $27.00
  • $20.93
Add to basket
The Shadow of the Gods

John Gwynne

Hardback
Published 06 May 2021

  • $25.71
Add to basket

$0.33off

Beach Read

Emily Henry

Hardback
Published 01 Oct 2024

Save $0.33

  • RRP $34.96
  • $34.63
Add to basket
Nothing Like the Movies

Lynn Painter

Paperback
Published 01 Oct 2024

  • $13.24
Add to basket

$4.45off

Ballad of Sword and Wine: Qiang Jin Jiu (Novel) Vol. 2

Tang Jiu Qing (autho...

Paperback
Published 24 Sep 2024

Save $4.45

  • RRP $24.28
  • $19.83
Add to basket
Before We Forget Kindness

Toshikazu Kawaguchi

Signed by the Author

Hardback
Published 19 Sep 2024

  • $20.23
Add to basket
A Curse for True Love

Stephanie Garber

Paperback
Published 20 Jun 2024

  • $13.70
Add to basket
The Striker

Ana Huang

Paperback
Published 22 Oct 2024

  • $13.48
Add to basket
Eighteen

Alice Loxton

Signed by the Author

Hardback
Published 05 Sep 2024

  • $29.69
Add to basket
The Ballad of Never After

Stephanie Garber

Paperback
Published 29 Jun 2023

  • $13.74
Add to basket
Freedom

Angela Merkel

Signed by the Author

Hardback
Published 26 Nov 2024

  • $47.24
Add to basket
Once Upon a Broken Heart

Stephanie Garber

Paperback
Published 30 Jun 2022

  • $13.82
Add to basket