Computational logic and proof theoryKurt Gödel Colloquium (3rd 1993 Brno, Czech Republic)
Computational logic and proof theory
Kurt Gödel Colloquium (3rd 1993 Brno, Czech Republic), Georg Gottlob, Alexander Leitsch · 1993
איפה לקנות
בדקו את המחיר העדכני באמזון. אנחנו לא מציגים מחירים כי הם משתנים מדי יום.
לצפייה באמזוןקישור שותפים. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.
על הספר
"The Third Kurt G
פרטי הספר
- שנה
- 1993
- שפה
- English
- הוצאה
- Springer
- מהדורות
- 1
- עמודים
- 359
- ISBN
- 9780387571843
מקור הנתונים: Wikidata