User contributions
- 01:58, 2 July 2008 (diff | hist) . . (+290) . . N Forall x (New page: {{Books |author=P.D. Magnus |genre=NonFiction |pubdate=2005 |license=Attribution-ShareAlike 3.0 }} An introductory textbook in formal logic. It covers translation, proofs, and formal seman...) (current)