Title: Logic, foundations of mathematics, and computability theory
Subjects: Computable functions, Congresses, Mathematics, Philosophy, Symbolic and mathematical Logic