Linking Game-Theoretical Approaches with Constructive Type Theory

Dialogical Strategies, CTT demonstrations and the Axiom of Choice

Nonfiction, Science & Nature, Mathematics, Logic, Religion & Spirituality, Philosophy

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

Big bigCover of Linking Game-Theoretical Approaches with Constructive Type Theory

More books from Springer International Publishing

bigCover of the book Magical Manuscripts in Early Modern Europe by

bigCover of the book Emotion, Affect and Personality in Speech by

bigCover of the book Cloud Computing and Service Science by

bigCover of the book Automotive User Interfaces by

bigCover of the book Student Engagement and Educational Rapport in Higher Education by

bigCover of the book Frontiers in Algorithmics by

bigCover of the book Bernard Mandeville: A Treatise of the Hypochondriack and Hysterick Diseases (1730) by

bigCover of the book Proximity Bias in Investors’ Portfolio Choice by

bigCover of the book Public Sector Performance and Development Cooperation in Rwanda by

bigCover of the book High Performance Computing for Computational Science – VECPAR 2016 by

bigCover of the book Stereoselective Heterocycle Synthesis via Alkene Difunctionalization by

bigCover of the book India in Space: Between Utility and Geopolitics by

bigCover of the book Methods for Partial Differential Equations by

bigCover of the book A Network-Based Approach to Cell Metabolism by

bigCover of the book Evaluation Method of Energy Consumption in Logistic Warehouse Systems by

We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy