Talk:Peter B. Andrews

"natural deduction proofs"
Is this a typing error? --67.132.247.216 (talk) 16:00, 18 December 2009 (UTC)