User contributions for P.D. Magnus
Results for P.D. Magnus talk block log uploads logs
A user with 1 edit. Account created on 22 November 2006.
2 July 2008
- 01:5801: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