ISBN-10:
0198530277
ISBN-13:
9780198530275
Pub. Date:
10/01/2005
Publisher:
Oxford University Press, USA
Proof and Disproof in Formal Logic: An Introduction for Programmers

Proof and Disproof in Formal Logic: An Introduction for Programmers

by Richard Bornat

Paperback

Current price is , Original price is $89.0. You
Select a Purchase Option
  • purchase options
    $89.00
  • purchase options

Product Details

ISBN-13: 9780198530275
Publisher: Oxford University Press, USA
Publication date: 10/01/2005
Series: Oxford Texts in Logic Series , #2
Pages: 264
Product dimensions: 9.40(w) x 6.60(h) x 0.70(d)

Table of Contents

Preface

Customer Reviews

Most Helpful Customer Reviews

See All Customer Reviews