Farmer, W. M. (2025). Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas (2nd ed. 2025.). Springer Nature Switzerland : Imprint: Birkhäuser. https://doi.org/10.1007/978-3-031-85352-4
Citace podle Chicago (17th ed.)Farmer, William M. Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas. 2nd ed. 2025. Cham: Springer Nature Switzerland : Imprint: Birkhäuser, 2025. https://doi.org/10.1007/978-3-031-85352-4.
Citace podle MLA (9th ed.)Farmer, William M. Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas. 2nd ed. 2025. Springer Nature Switzerland : Imprint: Birkhäuser, 2025. https://doi.org/10.1007/978-3-031-85352-4.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..