×
  • Linking Game-Theoretical Approaches with Constructive Type Theory: Dialogical Strategies, CTT demonstrations and the Axiom of Choice

    Nicolas Clerbout

Click on cover to enlarge.
Buy This Book
From Amazon.
2 - 3Hours to read