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 Democratizing Candidate Selection by

bigCover of the book Future Directions in Well-Being by

bigCover of the book Geospatial Technologies in Land Resources Mapping, Monitoring and Management by

bigCover of the book Residual Stress, Thermomechanics & Infrared Imaging, Hybrid Techniques and Inverse Problems, Volume 8 by

bigCover of the book Scalable Uncertainty Management by

bigCover of the book Clinico-Pathological Atlas of Cardiovascular Diseases by

bigCover of the book Radio Frequency Source Coding Made Easy by

bigCover of the book Rheology and Non-Newtonian Fluids by

bigCover of the book Reviews of Physiology, Biochemistry and Pharmacology 176 by

bigCover of the book Quantitative Plate Tectonics by

bigCover of the book Refugees and Forced Migration in the Horn and Eastern Africa by

bigCover of the book Biologically Rationalized Computing Techniques For Image Processing Applications by

bigCover of the book Unbounded Weighted Composition Operators in L²-Spaces by

bigCover of the book Computational and Experimental Fluid Mechanics with Applications to Physics, Engineering and the Environment by

bigCover of the book Nature Inspired Optimization Techniques for Image Processing Applications 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