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 Reviews of Physiology, Biochemistry and Pharmacology, Vol. 165 by

bigCover of the book Three Domain Modelling and Uncertainty Analysis by

bigCover of the book The Obama Presidency and the Politics of Change by

bigCover of the book Advanced Glaucoma Surgery by

bigCover of the book Multiculturalism as Multimodal Communication by

bigCover of the book An Interventional Radiology Odyssey by

bigCover of the book Mechanical and Materials Engineering of Modern Structure and Component Design by

bigCover of the book Designing of Elastomer Nanocomposites: From Theory to Applications by

bigCover of the book Economics for Sustainable Prosperity by

bigCover of the book Patient Safety and Quality in Pediatric Hematology/Oncology and Stem Cell Transplantation by

bigCover of the book The Normal and Pathological Fetal Brain by

bigCover of the book Cryptographic Hardware and Embedded Systems – CHES 2017 by

bigCover of the book Religion and Identity in the Post-9/11 Vampire 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