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 Project Management in Schools by

bigCover of the book Design Automation for Differential MOS Current-Mode Logic Circuits by

bigCover of the book PGD-Based Modeling of Materials, Structures and Processes by

bigCover of the book Non-coding RNAs and Inter-kingdom Communication by

bigCover of the book The Structure of Ionic Liquids by

bigCover of the book Immunohistochemistry in Tumor Diagnostics by

bigCover of the book Ultrasonic Fluid Quantity Measurement in Dynamic Vehicular Applications by

bigCover of the book Introducing CTS (Copper-Tin-Sulphide) as a Solar Cell by Using Solar Cell Capacitance Simulator (SCAPS) by

bigCover of the book You Must Be Very Intelligent by

bigCover of the book Social, Cultural, and Behavioral Modeling by

bigCover of the book Higher Education and Development in Africa by

bigCover of the book Conspiracy & Populism by

bigCover of the book Antenna Design Solutions for RFID Tags Based on Metamaterial-Inspired Resonators and Other Resonant Structures by

bigCover of the book Marine Mammal Welfare 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