Linking Game-Theoretical Approaches with Constructive Type Theory: Dialogical Strategies, CTT demonstrations and the Axiom of Choice (SpringerBriefs in Philosophy)

demonstrations

von Nicolas Clerbout

Taschenbuch

ISBN-13: 978-3-319-19062-4

ISBN-10: 3-319-19062-8

Springer · 2015