12,080
edits
Changes
→Oct 2008 : Classical vs. Constructive Mathematics
# VP: http://www.cs.nyu.edu/pipermail/fom/1998-February/001248.html
# VP: http://www.cs.nyu.edu/pipermail/fom/1998-February/001248.html
====Oct 2008 : Classical vs. Constructive Mathematics====
====Oct 2008 : Classical ∧∨ Constructive Mathematics====
* http://www.cs.nyu.edu/pipermail/fom/2008-October/thread.html#13127
* http://www.cs.nyu.edu/pipermail/fom/2008-October/thread.html#13127