Print this page
Logic for Computer Science

Logic for Computer Science Foundations of Automatic Theorem-Proving

Paperback (20 Jul 1988)

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: 9780471615460
Publisher: WILEY-NYZ
Imprint: Wiley-IEEE Press
Pub date:
Language: English
Number of pages: 528
Weight: 680g
Height: 230mm
Width: 150mm

We recommend

Mathematical Methods for Physics and Engineering

K. F. Riley, M. P. H...

Paperback
Published 13 Mar 2006

  • $62.78
Add to basket
Engineering Mathematics

K. A. Stroud, Dexter...

Paperback
Published 27 Mar 2020

  • $75.35
Add to basket
Bird's Comprehensive Engineering Mathematics

J. O. Bird

Paperback
Published 11 Jun 2018

  • $80.56
Add to basket

$5.70off

Machines That Think

New Scientist (Firm)...

Paperback
Published 17 Mar 2022

Save $5.70

  • RRP $14.11
  • $8.41
Add to basket

$9.87off

The Sounds of Life

Karen J. Bakker

Hardback
Published 18 Oct 2022

Save $9.87

  • RRP $35.95
  • $26.08
Add to basket
GIS

Matt Duckham (author...

Hardback
Published 16 Aug 2023

  • $156.41
Add to basket

$1.74off

Computer Arithmetic in Practice

Slawomir GryÔs

Paperback
Published 26 Sep 2023

Save $1.74

  • RRP $38.51
  • $36.77
Add to basket

$8.62off

Edge-AI in Healthcare

Sonali Vyas (editor)...

Hardback
Published 31 Jul 2023

Save $8.62

  • RRP $111.70
  • $103.08
Add to basket

$4.21off

What Every Engineer Should Know About Smart Cities

Valdemar Vicente Gra...

Paperback
Published 03 Oct 2023

Save $4.21

  • RRP $59.05
  • $54.84
Add to basket

$6.22off

Data Science for Sensory and Consumer Scientists

Thierry Worch, Julie...

Hardback
Published 29 Sep 2023

Save $6.22

  • RRP $98.86
  • $92.64
Add to basket