Farmer, W. M. (2023). Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas (1st ed. 2023.). Springer International Publishing : Imprint: Birkhäuser. https://doi.org/10.1007/978-3-031-21112-6

Farmer, William M. Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas. 1st ed. 2023. Cham: Springer International Publishing : Imprint: Birkhäuser, 2023. https://doi.org/10.1007/978-3-031-21112-6.

Farmer, William M. Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas. 1st ed. 2023. Springer International Publishing : Imprint: Birkhäuser, 2023. https://doi.org/10.1007/978-3-031-21112-6.