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 Social, Cultural, and Behavioral Modeling by

bigCover of the book Advances in Computational Intelligence Systems by

bigCover of the book The Art of Structuring by

bigCover of the book Alexander L. George: A Pioneer in Political and Social Sciences by

bigCover of the book Management of Natural Resources in a Changing Environment by

bigCover of the book The Politics of Weight by

bigCover of the book Advances in Human Factors and Ergonomics in Healthcare and Medical Devices by

bigCover of the book Teaching Postdramatic Theatre by

bigCover of the book Proceedings of the 11th International Symposium on Computer Science in Sport (IACSS 2017) by

bigCover of the book A Concise Dictionary of Paleontology by

bigCover of the book Regularity of Difference Equations on Banach Spaces by

bigCover of the book Pre-carboniferous Evolution of the San Rafael Block, Argentina by

bigCover of the book Advances and Applications of Optimised Algorithms in Image Processing by

bigCover of the book Risk - A Multidisciplinary Introduction by

bigCover of the book Preference Disaggregation in Multiple Criteria Decision Analysis 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