# User contributions

(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)

- 04:57, 17 March 2017
(diff | hist) . .
**(-593)** . . Formal Logic/Predicate Logic/Free and Bound Variables (→Sentences and formulae: Deleted spurious material) (current) - 04:49, 17 March 2017 (diff | hist) . . (+32) . . Formal Logic/Predicate Logic/The Predicate Language (→Primitive formulae)
- 04:06, 17 March 2017 (diff | hist) . . (+134) . . Formal Logic/Sentential Logic/Substitution and Interchange (The bottom nav bar was missing.) (current)
- 04:05, 17 March 2017 (diff | hist) . . (+128) . . Formal Logic/Sentential Logic/Properties of Sentential Connectives (The bottom nav bar was missing.)
- 04:01, 17 March 2017 (diff | hist) . . (+2) . . Formal Logic/Sentential Logic/Substitution and Interchange (→Interchange of equivalent subformulae: How many tears did the missing parens go unnoticed?)
- 10:56, 3 May 2008 (diff | hist) . . (0) . . m Wikibooks:Programming languages bookshelf (→C – Fortran: C language typo correction)
- 10:54, 3 May 2008 (diff | hist) . . (+141) . . Wikibooks:Programming languages bookshelf (→C – Fortran: D language correction and copyediting)
- 19:13, 3 January 2007 (diff | hist) . . (-1) . . Formal Logic/Predicate Logic/Informal Conventions (→Transformation rules: The reverted change by 71.217.115.178 was correct (lower precedence = wider scope).)
- 19:29, 3 November 2006 (diff | hist) . . (-5) . . m Formal Logic/Predicate Logic/Models (→Models: Corrected my minor formating change.)
- 19:27, 3 November 2006 (diff | hist) . . (+7) . . m Formal Logic/Predicate Logic/Models (→Models: A little formating)
- 19:24, 3 November 2006 (diff | hist) . . (+1) . . m Formal Logic/Predicate Logic/Models (→Interpretations: Typo.)
- 20:13, 27 October 2006
(diff | hist) . .
**(+652)** . . Talk:Set Theory (Documenting my changes to Set Theory.) - 20:06, 27 October 2006 (diff | hist) . . (+48) . . m Set Theory/Review (Changed category.)
- 20:03, 27 October 2006 (diff | hist) . . (+3) . . m Set Theory/Zermelo-Fraenkel Axiomatic Set Theory (Changed chategory.)
- 20:02, 27 October 2006 (diff | hist) . . (+3) . . m Set Theory/Ordinals (Fixed heading format.)
- 20:01, 27 October 2006 (diff | hist) . . (-116) . . Set Theory/Cardinals (Removed incorrect navigation bar; changed chategory.)
- 20:00, 27 October 2006 (diff | hist) . . (-96) . . m Set Theory/Ordinals (Removed incorrect navigation bar; changed chategory. Also fixed headings format.)
- 19:59, 27 October 2006 (diff | hist) . . (+6) . . Set Theory/Zorn's Lemma and the Axiom of Choice (Changed chategory.)
- 19:57, 27 October 2006 (diff | hist) . . (-166) . . Set Theory/Orderings (Removed incorrect navigation bar; changed chategory; removed red-link categories.)
- 19:56, 27 October 2006 (diff | hist) . . (-2) . . m Set Theory/Relations (→Functions: Moved heading level up one.)
- 19:55, 27 October 2006 (diff | hist) . . (-109) . . Set Theory/Relations (Removed incorrect navigation bar; changed chategory)
- 19:53, 27 October 2006 (diff | hist) . . (0) . . Set Theory/Naive Set Theory (Fixed formating of headings.)
- 19:51, 27 October 2006 (diff | hist) . . (-116) . . Set Theory/Axioms (Removed incorrect navigation bar; changed chategory)
- 19:50, 27 October 2006 (diff | hist) . . (-116) . . m Set Theory/Naive Set Theory (Removed incorrect navigation bar; changed chategory)
- 19:48, 27 October 2006 (diff | hist) . . (-79) . . m Set Theory (Fix links to moved pages.)
- 19:46, 27 October 2006 (diff | hist) . . (0) . . m Set Theory/Review (Topology/Set Theory/Review moved to Set Theory/Review: Making Set Theory its own separate book.)
- 19:45, 27 October 2006 (diff | hist) . . (0) . . m Set Theory/Zermelo-Fraenkel Axiomatic Set Theory (Topology/Set Theory/Zermelo-Fraenkel Axiomatic Set Theory moved to Set Theory/Zermelo-Fraenkel Axiomatic Set Theory: Making Set Theory its own separate book.)
- 19:44, 27 October 2006 (diff | hist) . . (0) . . m Set Theory/Cardinals (Topology/Set Theory/Cardinals moved to Set Theory/Cardinals: Making Set Theory its own separate book.)
- 19:44, 27 October 2006 (diff | hist) . . (0) . . m Talk:Set Theory/Cardinals (Talk:Topology/Set Theory/Cardinals moved to Talk:Set Theory/Cardinals: Making Set Theory its own separate book.) (current)
- 19:43, 27 October 2006 (diff | hist) . . (0) . . m Set Theory/Ordinals (Topology/Set Theory/Ordinals moved to Set Theory/Ordinals: Making Set Theory its own separate book.)
- 19:41, 27 October 2006 (diff | hist) . . (0) . . m Set Theory/Zorn's Lemma and the Axiom of Choice (Topology/Set Theory/Zorn's Lemma and the Axiom of Choice moved to Set Theory/Zorn's Lemma and the Axiom of Choice: Making Set Theory its own separate book.)
- 19:40, 27 October 2006 (diff | hist) . . (0) . . m Set Theory/Orderings (Topology/Set Theory/Orderings moved to Set Theory/Orderings: Making Set Theory its own separate book.)
- 19:37, 27 October 2006 (diff | hist) . . (0) . . m Set Theory/Relations (Topology/Set Theory/Relations moved to Set Theory/Relations: Making Set Theory its own separate book.)
- 19:36, 27 October 2006 (diff | hist) . . (0) . . m Set Theory/Axioms (Topology/Set Theory/Axioms moved to Set Theory/Axioms: Making Set Theory its own separate book.)
- 19:36, 27 October 2006 (diff | hist) . . (0) . . m Talk:Set Theory/Axioms (Talk:Topology/Set Theory/Axioms moved to Talk:Set Theory/Axioms: Making Set Theory its own separate book.)
- 19:29, 27 October 2006 (diff | hist) . . (0) . . m Set Theory/Naive Set Theory (Topology/Set Theory/Naive moved to Set Theory/Naive Set Theory: Making Set Theory its own separate book. Also make page name conform to page title.)
- 19:29, 27 October 2006 (diff | hist) . . (0) . . m Talk:Set Theory/Naive Set Theory (Talk:Topology/Set Theory/Naive moved to Talk:Set Theory/Naive Set Theory: Making Set Theory its own separate book. Also make page name conform to page title.) (current)
- 19:27, 27 October 2006 (diff | hist) . . (-95) . . Set Theory (Remove nav3 template; not a part of Wikiversity)
- 19:24, 27 October 2006 (diff | hist) . . (0) . . m Set Theory (Topology/Set Theory moved to Set Theory: Making Set Theory its own separate book.)
- 19:24, 27 October 2006 (diff | hist) . . (+24) . . N Topology/Set Theory (Topology/Set Theory moved to Set Theory: Making Set Theory its own separate book.) (current)
- 19:24, 27 October 2006 (diff | hist) . . (0) . . m Talk:Set Theory (Talk:Topology/Set Theory moved to Talk:Set Theory: Making Set Theory its own separate book.)
- 19:24, 27 October 2006 (diff | hist) . . (+29) . . N Talk:Topology/Set Theory (Talk:Topology/Set Theory moved to Talk:Set Theory: Making Set Theory its own separate book.) (current)
- 21:49, 2 October 2006 (diff | hist) . . (0) . . Formal Logic/Sentential Logic/Validity (→Implication: I prefer correcting the previous inconsistancy in the opposite direction.)
- 21:44, 2 October 2006 (diff | hist) . . (-2) . . Formal Logic/Sentential Logic/Expressibility (→Normal forms: Corrected the previous correction.)
- 21:13, 2 October 2006
(diff | hist) . .
**(+1,159)** . . Talk:Formal Logic/Sentential Logic/Informal Conventions (→Association of connectives) (current) - 18:28, 30 August 2006 (diff | hist) . . (+121) . . Formal Logic/Predicate Logic/The Predicate Language (→Primitive formulae: Add note about removed WIkipedia image.)
- 19:38, 25 May 2006
(diff | hist) . .
**(+3,159)** . . User talk:Robert Horning (Say it ain't so) - 19:02, 25 May 2006 (diff | hist) . . (+58) . . User:JMRyan/New Page ({{delete}}) (current)
- 17:49, 23 May 2006 (diff | hist) . . (+1) . . User:JMRyan (→Formal Logic)
- 17:48, 23 May 2006 (diff | hist) . . (0) . . m User:JMRyan/New Page1 (User:JMRyan/New Page moved to User:JMRyan/New Page1: Reorganizing) (current)

(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)