Revision as of 12:40, 23 June 2007 edit Gregbard (talk \| contribs) Extended confirmed users, Pending changes reviewers 90,738 edits mNo edit summary ← Previous edit		Revision as of 06:17, 11 July 2007 edit undo Gregbard (talk \| contribs) Extended confirmed users, Pending changes reviewers 90,738 edits mNo edit summary Next edit →
Line 13: {{logic-stub}} {{mathlogic-stub}} [[Category:Logic]] [[Category:Rules of inference]]

Biconditional introduction: Difference between revisions