Loading...

check nearby libraries

Linking Game-Theoretical Approaches with Constructive Type Theory2015

Dialogical Strategies, CTT Demonstrations and the Axiom of Choice

by Nicolas Clerbout

No description found.

2 editions at OpenLibrary

top conversations

Loading...