Simple type theory : a practical logic for expressing and reasoning about mathematical ideas - Farmer, William M (Birkhauser: Springer, 2025)
Keywords: Computer science -- -- Mathematics; Electronic books