![]() | This article is rated Stub-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | ||||||||||||||||||||||||||||||||||||||||||||||||
|
"natural deduction proofs"
[edit]Is this a typing error? --67.132.247.216 (talk) 16:00, 18 December 2009 (UTC)
![]() | This article is rated Stub-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | ||||||||||||||||||||||||||||||||||||||||||||||||
|
Is this a typing error? --67.132.247.216 (talk) 16:00, 18 December 2009 (UTC)