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 Linking the Space Shuttle and Space Stations by

bigCover of the book Sustainable Future Energy Technology and Supply Chains by

bigCover of the book Rubber Nano Blends by

bigCover of the book Parabolic Equations in Biology by

bigCover of the book From Post-Democracy to Neo-Democracy by

bigCover of the book Entrepreneurship and Structural Change in Dynamic Territories by

bigCover of the book US-Chinese Strategic Triangles by

bigCover of the book Service Orientation in Holonic and Multi-Agent Manufacturing by

bigCover of the book User Community Discovery by

bigCover of the book Hormones, Intrauterine Health and Programming by

bigCover of the book Deep Experiencing by

bigCover of the book Intelligent Information Processing IX by

bigCover of the book Form, Space and Design by

bigCover of the book Politics of Benjamin’s Kafka: Philosophy as Renegade by

bigCover of the book Advanced Hardware Design for Error Correcting Codes 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