Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas von Farmer, William M | ISBN 9783031211133

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

Buchcover Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas | Farmer, William M | EAN 9783031211133 | ISBN 3-031-21113-8 | ISBN 978-3-031-21113-3

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

Quelle: amazon.de, abgerufen am 11.07.2025 02:56:12