× Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical IdeasQuelle: amazon.de, abgerufen am 29.07.2025 14:24:13