Notes on constructive mathematics
By: by Per Martin-Löf.
Publisher: Almquist & Wiksell
Published: 1970
Place of publication: Stockholm
Language: eng
Number of pages: 109