4205791
9780198530268
Out of Stock
The item you're looking for is currently unavailable.
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 2005 under ISBN 9780198530268 and ISBN 0198530269.
[read more]