| title | ISBN-13 (ISBN-10) | year of publication | |
|---|---|---|---|
| Axiomatic Projective Geometry | 978-0-7204-2102-6 (0-7204-2102-0) | 1963 | |
| Intuitionism: An introduction | 978-0-7204-2239-9 (0-7204-2239-6) | 1971 | |
| Mathematische Grundlagenforschung Intuitionismus Beweistheorie | 978-3-540-06298-1 (3-540-06298-X) | 1974 |