Proof and Disproof in Formal Logic. An Introduction for Programmers Submitted by Anonymous | 30 / Sep / 2011 Read more about Proof and Disproof in Formal Logic. An Introduction for Programmers
