Notes on constructive mathematics - Martin-Lof, Per 1942- (Stockholm Almqvist & Wiksell, 1970)
Keywords: Constructive mathematics