Logical Foundations of Mathematics and Computational Complexity: () | lit.salon