3 works on record
Mathematical theory of domains
1994
Logicism, intuitionism, and formalism
Logic Colloquium '03