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
29-04-2026 09:16:17
Gesponsert
SpringerLink DE
An Introduction to Mathematical Logic and Type Theory
SpringerLink DE
29-04-2026 10:04:40
Ähnliche Produkte
Samji, Karim: The Qur'¿n
104.95 EUR
Al-amis al-an / fünfter sein
14.90 EUR
Selections from the Kur-án
22.28 EUR
