User contributions
From Girard Reading Group
(Latest | Earliest) View (newer 50) (older 50) (20 | 50 | 100 | 250 | 500)
- 19:53, 8 November 2007 (hist) (diff) Talk:Subformula (top)
- 19:52, 8 November 2007 (hist) (diff) Talk:Subformula
- 19:52, 8 November 2007 (hist) (diff) N Girard Reading Group:Community Portal (New page: For general discussion. == Fonts == So we've got some issues with fonts. I'm resisting adding the LaTeX extension because its a pain and doesn't look good, but while formulas look beauti...)
- 17:12, 8 November 2007 (hist) (diff) Subformula (top)
- 17:12, 8 November 2007 (hist) (diff) Subformula (thanks wjl)
- 04:53, 8 November 2007 (hist) (diff) N User talk:128.2.213.63 (ooh, mysterious) (top)
- 22:58, 7 November 2007 (hist) (diff) Girard Reading Group (→Entry Points)
- 22:57, 7 November 2007 (hist) (diff) N Connectives (New page: Connectives come in two flavors, positive and negative. == Positive connectives == A positive connective is one that "you always know what to do with" if they are a hypothesis. The best ...)
- 22:55, 7 November 2007 (hist) (diff) Positive (Redirecting to Connectives) (top)
- 22:52, 7 November 2007 (hist) (diff) N Positive (Redirecting to Positive connective)
- 22:50, 7 November 2007 (hist) (diff) N User talk:Wjl (New page: The mustard has been shown. And the hypercube was of course an all-out shoutout. ~~~~) (top)
- 22:49, 7 November 2007 (hist) (diff) Subformula (add notes and the derivation me and wjl held on to for dear life)
- 19:06, 7 November 2007 (hist) (diff) Girard Reading Group
- 17:15, 7 November 2007 (hist) (diff) User:Rsimmons (top)
- 17:15, 7 November 2007 (hist) (diff) N User:Rsimmons (This is me)
- 16:58, 7 November 2007 (hist) (diff) N User talk:Gwillen (Poke Back) (top)
- 06:44, 7 November 2007 (hist) (diff) Girard Reading Group
- 05:07, 7 November 2007 (hist) (diff) Girard Reading Group
- 04:57, 7 November 2007 (hist) (diff) Girard Reading Group (welcome and a question)
(Latest | Earliest) View (newer 50) (older 50) (20 | 50 | 100 | 250 | 500)
