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 Corporate Responsibility and Digital Communities by
bigCover of the book Extractives Industry Law in Africa by
bigCover of the book Design for Experience by
bigCover of the book Decision and Game Theory for Security by
bigCover of the book New Challenges in Grid Generation and Adaptivity for Scientific Computing by
bigCover of the book Social Ontology and Collective Intentionality by
bigCover of the book Computational Acoustics by
bigCover of the book Exploring the Marine Ecology from Space by
bigCover of the book Social Network Analysis in Predictive Policing by
bigCover of the book Macroeconomic Policy by
bigCover of the book Pervasive Social Computing by
bigCover of the book Respiratory Mechanics by
bigCover of the book Periglacial Preconditioning of Debris Flows in the Southern Alps, New Zealand by
bigCover of the book Collaborative Computing: Networking, Applications and Worksharing by
bigCover of the book Innovating in Practice 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