MyWikiBiz, Author Your Legacy — Tuesday November 26, 2024
Jump to navigationJump to search
1 byte added
, 14:38, 10 December 2008
Line 679: |
Line 679: |
| ==Inquiry Into Intuitionism== | | ==Inquiry Into Intuitionism== |
| | | |
− | Notes on a discussion with "Gribskoff" ([http://planetmath.org/?op=getuser&id=21395 Manuel S. Lourenço]) about his artile on [http://planetmath.org/encyclopedia/IntuitionisticLogic.html IntuitionisticLogic] at [http://planetmath.org/ PlanetMath]. | + | Notes on a discussion with "Gribskoff" ([http://planetmath.org/?op=getuser&id=21395 Manuel S. Lourenço]) about his artile on [http://planetmath.org/encyclopedia/IntuitionisticLogic.html Intuitionistic Logic] at [http://planetmath.org/ PlanetMath]. |