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 Lattice Path Combinatorics and Applications by

bigCover of the book Pediatric Obesity by

bigCover of the book Wireless Information and Power Transfer: A New Paradigm for Green Communications by

bigCover of the book Responsible Innovation 3 by

bigCover of the book Searching Speech Databases by

bigCover of the book Primary Care for Emergency Physicians by

bigCover of the book Mathematical and Statistical Methods for Actuarial Sciences and Finance by

bigCover of the book General Pontryagin-Type Stochastic Maximum Principle and Backward Stochastic Evolution Equations in Infinite Dimensions by

bigCover of the book Adenocarcinoma of the Esophagogastric Junction by

bigCover of the book Drug Treatment of Sleep Disorders by

bigCover of the book Vietnam Tax Guide by

bigCover of the book Model Reduction of Parametrized Systems by

bigCover of the book Magnesium Technology 2017 by

bigCover of the book Governance of Biotechnology in Post-Soviet Russia 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