User contributions

Jump to: navigation, search
Search for 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)