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

MLA

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

APA

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

Chicago

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