2 works on record
Logical Foundations of Mathematics and Computational Complexity
Logic Colloquium '98
2017