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 Inductive Logic Programming by

bigCover of the book Functional Dynamic Equations on Time Scales by

bigCover of the book Food Safety, Market Organization, Trade and Development by

bigCover of the book Diaspora as Cultures of Cooperation by

bigCover of the book Reducing Mortality in the Perioperative Period by

bigCover of the book Methods of Fourier Analysis and Approximation Theory by

bigCover of the book Geological Evolution of the Precambrian Indian Shield by

bigCover of the book Assessing and Stimulating a Dialogical Self in Groups, Teams, Cultures, and Organizations by

bigCover of the book Nonlinear Structures and Systems, Volume 1 by

bigCover of the book Environmental Modeling with Stakeholders by

bigCover of the book Management of Cyber Physical Objects in the Future Internet of Things by

bigCover of the book Information and Communications Security by

bigCover of the book Predictive Maintenance in Dynamic Systems 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