User contributions for 86.167.19.250

8 January 2015

• 00:4900:49, 8 January 2015 diff hist +531 Mathematical logic →Recursion theory current

4 January 2015

• 00:5900:59, 4 January 2015 diff hist +18 Brouwer–Heyting–Kolmogorov interpretation →Examples current
• 00:4700:47, 4 January 2015 diff hist −1 Choice sequence No edit summary current
• 00:4400:44, 4 January 2015 diff hist +162 Constructivism (mathematics) →Constructive mathematics current

3 January 2015

• 23:5223:52, 3 January 2015 diff hist +719 Ultrafinitism No edit summary current