Changes

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>
12,080

edits