Proof and Disproof in Formal Logic. An Introduction for Programmers By Anonymous (not verified) 30 / Sep / 2011 Read more about Proof and Disproof in Formal Logic. An Introduction for Programmers