APA Style
Farmer, William M.. (2023).
Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas (Pdf ed.).
Switzerland:
Springer Nature Switzerland.
Chicago Style
Farmer, William M..
Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas.
Pdf ed.
Switzerland:
Springer Nature Switzerland,
2023.
Electronic Resource.
MLA Style
Farmer, William M..
Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas.
Pdf ed.
Switzerland:
Springer Nature Switzerland,
2023.
Electronic Resource.
Turabian Style
Farmer, William M..
Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas.
Pdf ed.
Switzerland:
Springer Nature Switzerland,
2023.
Electronic Resource.