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
06-08-2026 08:11:27
Gesponsert
SpringerLink DE
An Introduction to Mathematical Logic and Type Theory
SpringerLink DE
07-08-2026 00:28:32
Ä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