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

121.98 EUR 12% 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

-12%

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

Medimops DE

121.98 EUR 139.09 EUR

23-04-2026 05:51:18

Access to the deal

Gesponsert An Introduction to Mathematical Logic and Type Theory

SpringerLink DE

139.09 EUR 139.09 EUR

22-04-2026 21:43:41

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

The Qur'n

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

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

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