Notes on Constructive Mathematics. Almqvist et Wiksell (1970)

by P Martin-Lof