FA Sign in

Discover references

Shahid Rahman

Books

1 results

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