Constructivism in mathematics
Constructivism in mathematics
1988
A. S. Troelstra
Details
First published
1988
OL Work ID
OL3285196W
Subjects
Constructive mathematics
Find this book
Open Library