Linking Game-theoretical Approaches With Constructive Type Theory : Dialogical Strategies, Ctt Demonstrations and the Axiom of Choice
ISBN: 9783319190631
Information Available:
Summary
Cover Image
Copyright held by Baker & Taylor.