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 Health Care in Eleventh-Century China by

bigCover of the book Advances in Cryptology – CRYPTO 2018 by

bigCover of the book Database and Expert Systems Applications by

bigCover of the book Detonation Control for Propulsion by

bigCover of the book Wind Energy Meteorology by

bigCover of the book Computational Science and Its Applications – ICCSA 2017 by

bigCover of the book Euro-Par 2017: Parallel Processing Workshops by

bigCover of the book The Ocean of Tomorrow by

bigCover of the book PET/CT in Radiotherapy Planning by

bigCover of the book Understanding Transitional Justice by

bigCover of the book Internet Science by

bigCover of the book Systematic Approaches to Argument by Analogy by

bigCover of the book Understanding Demographic Transitions by

bigCover of the book Global Perspectives of Nanoscience and Engineering Education 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