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 Global Sourcing of Digital Services: Micro and Macro Perspectives by

bigCover of the book Advanced Control of Electrical Drives and Power Electronic Converters by

bigCover of the book Globalisation of Corporate Social Responsibility and its Impact on Corporate Governance by

bigCover of the book Current Trends on Knowledge-Based Systems by

bigCover of the book Photovoltaics for Rural Electrification in Developing Countries by

bigCover of the book Theory, Research, and Practical Guidelines for Family Life Coaching by

bigCover of the book Attractors Under Discretisation by

bigCover of the book Sexualities and Genders in Education by

bigCover of the book Climate Change Adaptation in North America by

bigCover of the book Combinatorial Optimization and Applications by

bigCover of the book AETA 2016: Recent Advances in Electrical Engineering and Related Sciences by

bigCover of the book The Political Theology of European Integration by

bigCover of the book Utopia and Dystopia in Postwar Italian Literature by

bigCover of the book The Tree of Knowledge by

bigCover of the book Austerity vs Stimulus 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