Prof. Dr. Sattler
Foundations in Logic, Method, and Mathematics, Cambridge University Press, 2020