Changes

MyWikiBiz, Author Your Legacy — Tuesday November 26, 2024
Jump to navigationJump to search
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

Navigation menu