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 29.07.2025 14:24:13

ISBN-Daten

Verlag
Birkhauser
Autor
Farmer, William M
erschienen am
02.01.2023
ISBN-10
3-031-21113-8
Preis
54,63 €*
Buch kaufen

Lokal-Verfügbarkeit

 
ca. 15 km um Moreno Valley
**Mit der Eingabe/Ermittlung der Standortdaten willigen Sie der Datenverarbeitung gemäß unserer Datenschutzerklärung ein.
Lokalverfügbarkeit (Karte)

Ankaufspreise

Ankaufspreise ermitteln
Veranstaltung eintragen