4205792
9780198530275
Proof And Disproof in Formal Logic An Introduction for Programmers
by Bornat, Richard
325
List Price
Discount
75% Off
You Save
$64.13
About this item
- Condition: Good
- Provider: Ergodebooks Contact
- Provider Rating: 82%
- Ships From: Multiple Locations
- Shipping: Standard
- Comments: Buy with confidence. Excellent Customer Service & Return policy.
Product details
- ISBN-13: 9780198530275
- ISBN: 0198530277
- Publication Date: 0015
- Publisher: Oxford University Press, Incorporated
AUTHOR
SUMMARY
This is an introduction to formal logic through proof and disproof in constructive natural deduction that provides an insight into how a simple logic works.Bornat, Richard is the author of 'Proof And Disproof in Formal Logic An Introduction for Programmers', published 0015 under ISBN 9780198530275 and ISBN 0198530277.
[read more]
The ValoreBooks Guarantee
With our dedicated customer support team, you can rest easy knowing that we're doing everything we can to save you time, money, and stress.
