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 Annual Update in Intensive Care and Emergency Medicine 2017 by

bigCover of the book Relativistic Geodesy by

bigCover of the book Redox Homeostasis in Plants by

bigCover of the book Higgs, Supersymmetry and Dark Matter After Run I of the LHC by

bigCover of the book Foundations of Civil Justice by

bigCover of the book Computational Forensics by

bigCover of the book The Evolved Athlete: A Guide for Elite Sport Enhancement by

bigCover of the book Geomorphology and Physical Oceanography of the Lakshadweep Coral Islands in the Indian Ocean by

bigCover of the book Hybrid Systems Biology by

bigCover of the book The Floating Strip Micromegas Detector by

bigCover of the book Space Security and Legal Aspects of Active Debris Removal by

bigCover of the book Communication Technologies for Vehicles by

bigCover of the book Biologically Inspired Control of Humanoid Robot Arms by

bigCover of the book Preparing for Brexit 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