natural deduction system
please note:
- the text and code below is from The Pseudopedia
- it has been imported raw for GetWiki
- REDIRECT Natural deduction
- content above as imported from The Pseudopedia
- "natural deduction system" does not exist on GetWiki
- time: 5:56pm EDT - Fri, Mar 19 2010
