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 The Practice of Spatial Analysis by
bigCover of the book Obesity by
bigCover of the book Sustainable Fashion by
bigCover of the book Product-Focused Software Process Improvement by
bigCover of the book Web Engineering by
bigCover of the book Major Crops and Water Scarcity in Egypt by
bigCover of the book Digital Human Modeling: Applications in Health, Safety, Ergonomics and Risk Management: Human Modeling by
bigCover of the book Normative Change and Security Community Disintegration by
bigCover of the book Distributed Computing and Artificial Intelligence, 15th International Conference by
bigCover of the book Ultra Low Noise CMOS Image Sensors by
bigCover of the book The State of Social Progress of Islamic Societies by
bigCover of the book Modeling with Rules Using Semantic Knowledge Engineering by
bigCover of the book High Performance Computing by
bigCover of the book Molecular Pathogenesis and Signal Transduction by Helicobacter pylori by
bigCover of the book Membrane Protein – Lipid Interactions: Physics and Chemistry in the Bilayer 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