Changes

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

edits