Name: An Introduction to Mathematical Logic and Type Theory
Brand: Andrews, Peter B.
SKU: ID11902631
Availability: InStock

An Introduction to Mathematical Logic and Type Theory

104.30 EUR 25% Off 139.09 EUR

Dieses Buch führt durch die Grundlagen der mathematischen Logik und Typentheorie, erläutert Beweistechniken und zeigt, wie man mit Typenformalen Systemen wahre Aussagen konstruiert.

Marke: Andrews, Peter B.

ISBN: 1402007639

Angebote
Merkmale

Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen

-25%

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

Medimops DE

104.30 EUR 139.09 EUR

09-06-2026 21:14:42

Access to the deal

Gesponsert An Introduction to Mathematical Logic and Type Theory

SpringerLink DE

139.09 EUR 139.09 EUR

09-06-2026 17:04:18

Access to the deal

An Introduction to Mathematical Logic and Type Theory

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

Gesponsert An Introduction to Mathematical Logic and Type Theory

Ähnliche Produkte

Beste Preise und Angebote

Sparen Sie bei jedem Einkauf

Genaue Information

Die Macht der Wahl

An Introduction to Mathematical Logic and Type Theory

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

Gesponsert An Introduction to Mathematical Logic and Type Theory

Ähnliche Produkte

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

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

The Qur'n

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