Linking Game-Theoretical Approaches with Constructive Type Theory
Subtitle: Dialogical Strategies, CTT demonstrations and the Axiom of Choice
Publisher: Springer
Published: Jul 08, 2015
Format: paperback
Number of pages: 124
ISBN-13: 9783319190624
Notes: Source title: Linking Game-Theoretical Approaches with Constructive Type Theory: Dialogical Strategies, CTT demonstrations and the Axiom of Choice (SpringerBriefs in Philosophy)