12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Sunday April 06, 2025
Jump to navigationJump to search→Oct 2008 : Classical vs. Constructive Mathematics
Line 244:
Line 244:
# 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
