Talk:Peter B. Andrews

From Wikipedia, the free encyclopedia
Jump to navigation Jump to search

"natural deduction proofs"

[edit]

Is this a typing error? --67.132.247.216 (talk) 16:00, 18 December 2009 (UTC)[reply]