EN ورود

کشف منابع

Type-Theory

کتاب‌ها

2 نتیجه

Cover of Linking Game-Theoretical Approaches with Constructive Type Theory: Dialogical Strategies, CTT demonstrations and the Axiom of Choice

English Beginner

Linking Game-Theoretical Approaches with Constructive Type Theory: Dialogical Strategies, CTT demonstrations and the Axiom of Choice

Nicolas Clerbout,Shahid Rahman (auth.)

2015 مشاهدهٔ کتاب

Cover of Linking Game-Theoretical Approaches with Constructive Type Theory: Dialogical Strategies, CTT demonstrations and the Axiom of Choice (SpringerBriefs in Philosophy)

English Beginner

Linking Game-Theoretical Approaches with Constructive Type Theory: Dialogical Strategies, CTT demonstrations and the Axiom of Choice (SpringerBriefs in Philosophy)

Nicolas Clerbout,Shahid Rahman

2015 مشاهدهٔ کتاب