Simple Type Theory : A Practical Logic for Expressing and Reasoning about Mathematical Ideas

MLA

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

APA

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

Chicago

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