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 Game User Experience Evaluation by

bigCover of the book Drug Discovery from Mother Nature by

bigCover of the book Improving Patient Treatment with Attachment Theory by

bigCover of the book Spline and Spline Wavelet Methods with Applications to Signal and Image Processing by

bigCover of the book Nutrition Therapy for Urolithiasis by

bigCover of the book MicroRNA Targeted Cancer Therapy by

bigCover of the book New Luxury Management by

bigCover of the book Cruel Children in Popular Texts and Cultures by

bigCover of the book Technologies of Labour and the Politics of Contradiction by

bigCover of the book On the Nature of Effective CIO/CEO Communication by

bigCover of the book Cognitive Internet of Things: Frameworks, Tools and Applications by

bigCover of the book The Computability of the World by

bigCover of the book Insight into Influenza Viruses of Animals and Humans by

bigCover of the book Ecosystem Services of Headwater Catchments 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