2 works on record
Logic Colloquium '98
2000
Lattice of Chapters of Mathematics (Interpretations Between Theorems)
1990