Linking Game-Theoretical Approaches with Constructive Type Theory

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

Weitere Titel zum Thema