× Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical IdeasQuelle: amazon.de, abgerufen am 11.07.2025 02:56:12