Title: Notes on constructive mathematics
First published: 1970