booktheque

Intuitionistic Type Theory

Per Martin-Lof · 1985

איפה לקנות

המחיר באמזון משתנה מדי יום, אז הכי נכון לראות אותו שם ברגע הקנייה.

לצפייה באמזון

פרטי הספר

שנה
1985
הוצאה
Prometheus Books
מהדורות
1
עמודים
91
ISBN
9788870881059

מקור הנתונים: Wikidata