booktheque

History and philosophy of constructive type theory

Giovanni Sommaruga · 2013

איפה לקנות

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

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

פרטי הספר

שנה
2013
שפה
English
הוצאה
Springer London, Limited
מהדורות
2
ISBN
9789401593939

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

עוד של Giovanni Sommaruga

Foundational Theories of Classical and Constructive Mathematics
Giovanni Sommaruga · 2011
Turing's Revolution
Giovanni Sommaruga · 2016
History and Philosophy of Constructive Type Theory (SYNTHESE LIBRARY Volume 290)
Giovanni Sommaruga · 2000
Turing’s Revolution
Giovanni Sommaruga · 2016
Formal Theories of Information
Giovanni Sommaruga · 2009