Title: Intuitionistic mathematics and logic
First published: 1974
Subjects: Intuitionistic mathematics
LC classification: QA9.47 .D85