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