An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (Applied Logic Series, 27, Band 27)

Ein praxisnahes Buch verbindet mathematische Logik mit Typentheorie, erklärt Beweisstrategien anschaulich und führt in die Konstruktion formaler Wah ...

Wo zu kaufen (2) Eigenschaften

Gesponsert

An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (Applied Logic Series, Band 27)

Medimops DE

121.98 EUR

Preis aktualisiert am: 03-05-2026 13:55:51

Siehe Produktangebot

Gesponsert

An Introduction to Mathematical Logic and Type Theory

SpringerLink DE

139.09 EUR

Preis aktualisiert am: 04-05-2026 00:18:44

Siehe Produktangebot

Allgemein

Marke

Andrews, Peter B.

ISBN

Andrews, Peter B. 1402007639

Eigenschaften

Ähnliche Produkte

Al-ẖāmis al-ān: fünfter sein (arabisch-deutsch): deutsch - arabisch

Produkt anzeigen

The Qur'ān: A Form-Critical History (Studies in the History and Culture of the Middle East, 32)

Produkt anzeigen

Islam und Homosexualität im Qur'ân und der Hadît-Literatur

Produkt anzeigen

Adam – Henoch – Noah – Ijob: Die frühen Gestalten der Bibel und des Qur'ān aus jüdischer und muslimischer Betrachtung: Die frühen Gestalten der Bibel ... aus jüdischer und muslimischer Betrachtung

Produkt anzeigen

Selections from the Kur-án: A new Large Print Edition, revised and enlarged, with an introduction, by Stanley Lane Poole

Produkt anzeigen

Lane, Edward William: Selections from the Kur-án

Produkt anzeigen

An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (Applied Logic Series, 27, Band 27)

Allgemein

Eigenschaften

Ähnliche Produkte

Kontakt

Ieris

Information