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 Towards a Philosophy of Caring in Higher Education by
bigCover of the book The Beginning and the End by
bigCover of the book The Dark Side of Silicon by
bigCover of the book Uranium in Plants and the Environment by
bigCover of the book Recent Advances in Information Systems and Technologies by
bigCover of the book Mobile Computing, Applications, and Services by
bigCover of the book Advances in Intelligent Systems and Computing II by
bigCover of the book Foreign Direct Investment in Central and Eastern Europe by
bigCover of the book Polymer-Engineered Nanostructures for Advanced Energy Applications by
bigCover of the book Computational Science and Its Applications – ICCSA 2017 by
bigCover of the book Interactive Theorem Proving by
bigCover of the book The Perceptual Structure of Three-Dimensional Art by
bigCover of the book African Traditional Medicine: Autonomy and Informed Consent by
bigCover of the book The Doctrine of Being in Hegel’s Science of Logic by
bigCover of the book Conductors, Semiconductors, Superconductors 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