Notes on constructive mathematics - Martin-Löf, Per, 1942- (Stockholm : Almqvist & Wiksell, 1970)
Keywords: konstruktivní matematika; matematika; constructive mathematics; mathematics