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 Proceedings of 3rd International Sustainable Buildings Symposium (ISBS 2017) by

bigCover of the book Street-Frequenting Young People in Fiji by

bigCover of the book Lectures in Meteorology by

bigCover of the book Adherence in Dermatology by

bigCover of the book Mathematical Aspects of Computer and Information Sciences by

bigCover of the book The Mimetic Finite Difference Method for Elliptic Problems by

bigCover of the book Computer Safety, Reliability, and Security by

bigCover of the book Information Sharing in Military Operations by

bigCover of the book Regulation of Implantation and Establishment of Pregnancy in Mammals by

bigCover of the book Recent Advances in Knowledge-based Paradigms and Applications by

bigCover of the book Equestrian Cultures in Global and Local Contexts by

bigCover of the book Proceedings of China-Europe Conference on Geotechnical Engineering by

bigCover of the book Green Infrastructure Financing by

bigCover of the book Shape Analysis in Medical Image Analysis by

bigCover of the book Information Systems for Crisis Response and Management in Mediterranean Countries 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