Intuitionism : an introduction - Heyting, A. (Arend), 1898- (Amsterdam : North-Holland Publishing, 1971)
Includes bibliography : 127-141 and index
Keywords: Intuitionistic mathematics