User contributions for 86.167.19.250

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