3 works on record
Brower's Cambridge lectures on intuitionism
1981
Abstract Set Theory
Over de Grondslagen der Wiskunde