Advances in Proof TheoryReinhard Kahle
Advances in Proof Theory
Reinhard Kahle, Thomas Strahm, Thomas Studer · 2016
איפה לקנות
בדקו את המחיר העדכני באמזון. אנחנו לא מציגים מחירים כי הם משתנים מדי יום.
לצפייה באמזוןקישור שותפים. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.
פרטי הספר
- שנה
- 2016
- שפה
- English
- הוצאה
- Birkhauser Verlag
- מהדורות
- 4
- ISBN
- 9783319291987
מקור הנתונים: Wikidata
עוד של Reinhard Kahle
Proof theory in computer scienceReinhard Kahle
Proof theory in computer science
Reinhard Kahle · 2001
Intensionality (Lecture Notes in Logic) (Lecture Notes in Logic)Reinhard Kahle
Intensionality (Lecture Notes in Logic) (Lecture Notes in Logic)
Reinhard Kahle · 2005
IntensionalityReinhard Kahle
Intensionality
Reinhard Kahle · 2005
VerantwortungReinhard Kahle
Verantwortung
Reinhard Kahle · 2021
The Legacy of Kurt SchütteReinhard Kahle
The Legacy of Kurt Schütte
Reinhard Kahle · 2021
Gentzen's CentenaryReinhard Kahle
Gentzen's Centenary
Reinhard Kahle · 2015