Jump to content

Forall x: Revision history

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

2 July 2008

  • curprev 01:5801:58, 2 July 2008 P.D. Magnus talk contribs 290 bytes +290 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...