Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas - William M. Farmer (Springer Nature (Textbooks & Major Reference Works), 2025)