Martin Davis on Computability, Computational Logic, and Mathematical Foundations

Nonfiction, Science & Nature, Mathematics, Logic, Religion & Spirituality, Philosophy
Big bigCover of Martin Davis on Computability, Computational Logic, and Mathematical Foundations

More books from Springer International Publishing

bigCover of the book Cultural Robotics by
bigCover of the book Two-Scale Approach to Oscillatory Singularly Perturbed Transport Equations by
bigCover of the book Recent Trends in Combinatorics by
bigCover of the book Coaching for Rational Living by
bigCover of the book The Rise of Engineering Science by
bigCover of the book Transducers and Arrays for Underwater Sound by
bigCover of the book Advances in Computer Science for Engineering and Education by
bigCover of the book Neural Connectomics Challenge by
bigCover of the book Health Informatics Data Analysis by
bigCover of the book The Flipped College Classroom by
bigCover of the book Neurometabolic Hereditary Diseases of Adults by
bigCover of the book Network Slicing for 5G and Beyond Networks by
bigCover of the book Thermodynamics in the Quantum Regime by
bigCover of the book Trends and Challenges in Science and Higher Education by
bigCover of the book Fault Diagnosis Inverse Problems: Solution with Metaheuristics 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