MyWikiBiz, Author Your Legacy — Thursday November 14, 2024
Jump to navigationJump to search
1 byte added
, 14:08, 11 December 2008
Line 217: |
Line 217: |
| ==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 Intuitionistic Logic] at [http://planetmath.org/ PlanetMath]. | + | Notes on a discussion with "Gribskoff" ([http://planetmath.org/?op=getuser&id=21395 Manuel S. Lourenço]) about his article on [http://planetmath.org/encyclopedia/IntuitionisticLogic.html Intuitionistic Logic] at [http://planetmath.org/ PlanetMath]. |
| | | |
| <br> | | <br> |