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 Hollywood in Crisis or: The Collapse of the Real by

bigCover of the book Mathematical Grammar of Biology by

bigCover of the book Codification in International Perspective by

bigCover of the book Demography, Politics, and Partisan Polarization in the United States, 1828–2016 by

bigCover of the book Transactions on Computational Collective Intelligence XXX by

bigCover of the book Classroom Management in Teacher Education Programs by

bigCover of the book Universe of Scales: From Nanotechnology to Cosmology by

bigCover of the book Covenants and Third-Party Creditors by

bigCover of the book Basic Organic Chemistry for the Life Sciences by

bigCover of the book A Second Course in Topos Quantum Theory by

bigCover of the book Climate Change Adaptation, Resilience and Hazards by

bigCover of the book Freezing Colloids: Observations, Principles, Control, and Use by

bigCover of the book Physics of Tsunamis by

bigCover of the book Family Urban Agriculture in Russia by

bigCover of the book Macro-Economics of Mineral and Water Resources 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