User contributions
by Luxo
Global user contributions
Search... 0 % ...||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||| |
Host: 132.231.199.50
en.wikipedia.org
- 2012-08-17T11:50:39 ( hist ) ( diff ) Talk:Universal property (10 160 Bytes) (→ φ vs. Φ:)
- 2012-08-16T15:40:07 ( hist ) ( diff ) Fixed-point combinator (24 899 Bytes) (→ Y combinator:)
- 2012-08-16T15:25:02 ( hist ) ( diff ) Talk:Kleene fixed-point theorem (2 879 Bytes) (→ Knaster–Tarski theorem:)
- 2012-08-16T15:24:01 ( hist ) ( diff ) Talk:Kleene fixed-point theorem (2 870 Bytes) (→ Knaster–Tarski theorem:)
- 2012-08-14T15:42:18 ( hist ) ( diff ) Peano axioms (31 197 Bytes) (→ Models:)
- 2012-08-06T09:02:32 ( hist ) ( diff ) Group action (30 108 Bytes) (→ Definition:)