An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof
Ein einführendes Werk, das mathematische Logik mit Typentheorie verknüpft, erläutert Beweisprinzipien anschaulich und führt in die Konstruktion formaler Wahrheitsmodelle ein.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Gesponsert
Medimops DE
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (Applied Logic Series, Band 27)
Medimops DE
25-09-2026 06:00:52
Gesponsert
SpringerLink DE
An Introduction to Mathematical Logic and Type Theory
SpringerLink DE
26-09-2026 07:42:22
Gesponsert
Galaxus.de
An Introduction to Mathematical Logic and Type Theory, Fachbücher von Peter B. Andrews
Galaxus.de
23-09-2026 05:47:27
Ähnliche Produkte
Al-amis al-an / fünfter sein
14.90 EUR
Samji, Karim: The Qur'¿n
103.94 EUR
Selections from the Kur-án
22.28 EUR