Skip to main content
PBS logo
 
 

Search - 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)
Proof and Disproof in Formal Logic An Introduction for Programmers - Oxford Texts in Logic
Author: Richard Bornat
Proof and Disproof in Formal Logic is a lively and entertaining introduction to formal logic providing an excellent insight into how a simple logic works. Formal logic allows you to check a logical claim without considering what the claim means. This highly abstracted idea is an essential and practical part of computer science. The idea of a ...  more »
ISBN-13: 9780198530275
ISBN-10: 0198530277
Publication Date: 9/29/2005
Pages: 264
Rating:
  ?
0 stars, based on 0 rating
Publisher: Oxford University Press, USA
Book Type: Paperback
Other Versions: Hardcover
Members Wishing: 0
Reviews: Amazon | Write a Review



Back to the Top ↑
By using this Web site, you confirm that you have read, understood, and agreed to be bound by the Terms of Use. As an Amazon Associate we earn from qualifying purchases.
US Patent Number 7,877,315 | Copyright © 2004 - 2024 PaperBackSwap.com. All Rights Reserved.