User contributions for 86.167.19.250
Jump to navigation
Jump to search
8 January 2015
- 01:4901:49, 8 January 2015 diff hist +531 Mathematical logic →Recursion theory current
4 January 2015
- 01:5901:59, 4 January 2015 diff hist +18 Brouwer–Heyting–Kolmogorov interpretation →Examples current
- 01:4701:47, 4 January 2015 diff hist −1 Choice sequence No edit summary current
- 01:4401:44, 4 January 2015 diff hist +162 Constructivism (mathematics) →Constructive mathematics current
- 00:5200:52, 4 January 2015 diff hist +719 Ultrafinitism No edit summary current