Results
Linking Game-Theoretical Approaches with Constructive Type Theory
Dialogical Strategies, CTT demonstrations and the Axiom of Choice
© 2015
Soft cover - Print (ISBN: 978-3-319-19062-4)
Electronic (ISBN: 978-3-319-19063-1)
View this book on
SpringerLink
Download Product Archive File - 978-3-319-19063-1