User contributions for 94.173.19.247
For 94.173.19.247 talk block log logs filter log
12 November 2011
- 13:1113:11, 12 November 2011 diff hist +286 Talk:11 (number) →Counting on human fingers: new section
14 May 2011
- 20:4520:45, 14 May 2011 diff hist +262 Talk:Proof theory →Proof vs. Truth
9 May 2011
- 10:2810:28, 9 May 2011 diff hist +1 Talk:List of international observances →Mixed with awareness days
- 10:2810:28, 9 May 2011 diff hist +173 Talk:List of international observances →List of commemorative days
- 10:1810:18, 9 May 2011 diff hist +39 List of awareness days →October
- 10:1210:12, 9 May 2011 diff hist +45 List of awareness days →October
- 10:0810:08, 9 May 2011 diff hist +28 List of awareness days →June
- 10:0810:08, 9 May 2011 diff hist −26 List of awareness days →July
- 10:0510:05, 9 May 2011 diff hist −120 List of awareness days →June
- 10:0410:04, 9 May 2011 diff hist +1 List of awareness days →March
- 10:0410:04, 9 May 2011 diff hist +54 List of awareness days →February
- 09:4809:48, 9 May 2011 diff hist −2 List of awareness days →March
- 09:4809:48, 9 May 2011 diff hist +32 List of awareness days →March
14 February 2011
- 10:4810:48, 14 February 2011 diff hist +152 Talk:Automated theorem proving →important people list
- 10:4510:45, 14 February 2011 diff hist −3 Talk:Automated theorem proving →"Decidability of the problem" section is confused
- 10:4510:45, 14 February 2011 diff hist +1,222 Talk:Automated theorem proving →"Decidability of the problem" section is confused: new section
10 February 2011
- 10:1410:14, 10 February 2011 diff hist +205 Talk:Dependent type →Other Dependently Typed Languages: new section
29 December 2010
- 14:5414:54, 29 December 2010 diff hist +2,029 Talk:Structural proof theory →Sections on Display Logic and Calculus of Structures don't belong: new section
22 November 2010
- 10:0310:03, 22 November 2010 diff hist +33 Angus MacLise →Biography
3 November 2010
- 17:0417:04, 3 November 2010 diff hist +386 Talk:Modal logic →Not all model logics are Intensional: new section