Notes on constructive mathematics

Notes on constructive mathematics

Bibliographic Details
Main Author: Martin-Lof, Per 1942-
Format: Book
Published: Stockholm Almqvist & Wiksell 1970.
Subjects:
Constructive mathematics.