[FOM] philosophical literature on intuitionism

[hendrik@topoi.pooq.com]

On Thu, Oct 23, 2008 at 01:29:35PM -0500, William Tait wrote:
> 
> Incidentally, I possess lecture notes "Inleiding tot de  
> Intuitionistische Wiskunde", for a course by Heyting in 1952-3, edited  
> by Johann de Iongh. I got them when I was a student in Amsterdam in  
> 1954-5. They are typed in Dutch with symbols drawn in by hand. There  
> doesn't seem to be much more than is in Heyting's book *Intuitionism:  
> An Introduction*, but my now almost nonexistent Dutch does not admit  
> of accurate skimming. I expect that there are other copies of the  
> notes around, but I mention mine just in case. (I don't think these  
> notes were mentioned by anyone in listing the literature on  
> intuitionism.)

Is an English translation available?  If not, I might be able to produce 
one, if there is sufficient interest, and if there are no copyright 
hassles.

-- hendrik