1 “... of contemporary logic: model theory, proof theory, set theory, and computer science, as well as philosophical...”