Proof and Disproof in Formal Logic: An Introduction for Programmers (Oxford Texts in Logic)

Proof and Disproof in Formal Logic: An Introduction for Programmers (Oxford Texts in Logic)

by Richard Bornat
  • List Price: $89.00
  • ISBN-10: 0198530277
  • ISBN-13: 9780198530275
  • Edition: 1st
  • Type: Paperback
  • Publisher: Oxford University Press

About The Book

Proof and Disproof in Formal Logic is a lively and entertaining introduction to formal logic providing an excellent insight into how a simple logic... Read more

FINDING THE BEST PRICES