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 Nanomaterials for Liquid Chromatography and Laser Desorption/Ionization Mass Spectrometry by
bigCover of the book Predicting Flow-Induced Acoustics at Near-Stall Conditions in an Automotive Turbocharger Compressor by
bigCover of the book The Evolved Athlete: A Guide for Elite Sport Enhancement by
bigCover of the book Cultural Heritage and Value Creation by
bigCover of the book Austrian Imperial Censorship and the Bohemian Periodical Press, 1848–71 by
bigCover of the book New Light Through Old Windows: Exploring Contemporary Science Through 12 Classic Science Fiction Tales by
bigCover of the book Thermal Energy Storage with Phase Change Materials by
bigCover of the book Neurosemantics by
bigCover of the book Detecting the Social by
bigCover of the book Stability of the Turnpike Phenomenon in Discrete-Time Optimal Control Problems by
bigCover of the book Emerging Economy MNEs by
bigCover of the book Philosophy and Cognitive Science II by
bigCover of the book Multi-Agent Systems and Agreement Technologies by
bigCover of the book Early Modern Humanism and Postmodern Antihumanism in Dialogue by
bigCover of the book Intelligent Systems II: Complete Approximation by Neural Network Operators 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