Linking Game-Theoretical Approaches with Constructive Type Theory

Dialogical Strategies, CTT demonstrations and the Axiom of Choice
juillet 2015, Philosophy and Religion (R0), Anglais
SPRINGER
9783319190631

Autres titres sur ce thème