FA Sign in

Discover references

CTT-Demonstrations

Books

1 results

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 View book