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 Signaling-Mediated Control of Cell Division by

bigCover of the book Human Rights and Incarceration by

bigCover of the book The Theological Turn in Contemporary Gothic Fiction by

bigCover of the book Net Neutrality Compendium by

bigCover of the book Wilhelm Röpke (1899–1966) by

bigCover of the book Fundamental Labour Rights in China - Legal Implementation and Cultural Logic by

bigCover of the book Pediatric Neurogastroenterology by

bigCover of the book Planning Support Systems and Smart Cities by

bigCover of the book Data Integration in the Life Sciences by

bigCover of the book Trends in Neurovascular Interventions by

bigCover of the book Plant Breeding: Past, Present and Future by

bigCover of the book Mathematical Problems of the Dynamics of Incompressible Fluid on a Rotating Sphere by

bigCover of the book Computing and Philosophy by

bigCover of the book Modeling, Simulation, and Optimization by

bigCover of the book Convergence Estimates in Approximation Theory 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