Linking Game-Theoretical Approaches with Constructive Type Theory: Dialogical St
68,59 €
The third chapter demonstrates the left-to-right direction of the equivalence result. This is followed by a chapter that demonstrates the use of the algorithm in showing how to transform a specific winning strategy into a CCT-demonstration of the axiom of choice.
Jetzt bei Ebay:
