Simple Type Theory : A Practical Logic for Expressing and Reasoning about Mathematical Ideas - Farmer, William M. (Cham Springer International Publishing AG, 2023)