Title: Brower's Cambridge lectures on intuitionism
First published: 1981
Subjects: Intuitionistic mathematics
LC classification: QA9.47