Notes on constructive mathematics - Martin-Löf, Per, 1942- (Almqvist & Wiksell, 1970)