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 Sport Science Research and Technology Support by

bigCover of the book Introduction to Gastrointestinal Diseases Vol. 2 by

bigCover of the book Biochemical Roles of Eukaryotic Cell Surface Macromolecules by

bigCover of the book Cyber-Physical Laboratories in Engineering and Science Education by

bigCover of the book Characteristics and Control of Low Temperature Combustion Engines by

bigCover of the book Advanced Planning and Scheduling in Manufacturing and Supply Chains by

bigCover of the book Designing Value-Creating Supply Chain Networks by

bigCover of the book Post-Agreement Northern Irish Literature by

bigCover of the book Carbon Nanotubes for Clean Water by

bigCover of the book Design and Power Quality Improvement of Photovoltaic Power System by

bigCover of the book Difficult Decisions in Colorectal Surgery by

bigCover of the book Mine Seismology: Seismic Response to the Caving Process by

bigCover of the book The Will to Drill - Mining in Arctic Communites by

bigCover of the book Crisis Management in Acute Care Settings 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