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 Cyber Physical Systems. Model-Based Design by
bigCover of the book Excursions in Harmonic Analysis, Volume 4 by
bigCover of the book Agricultural Transition in China by
bigCover of the book Environmental Management by
bigCover of the book Data Mining and Big Data by
bigCover of the book Health and Well-Being in Islamic Societies by
bigCover of the book Peacebuilding and the Rights of Indigenous Peoples by
bigCover of the book System-Level Design Methodologies for Telecommunication by
bigCover of the book Computational Science and Its Applications – ICCSA 2017 by
bigCover of the book Mothers in Medicine by
bigCover of the book Reviews in Fluorescence 2016 by
bigCover of the book Grate-Fired Energy Crop Conversion by
bigCover of the book Nonlinear Dynamics: Materials, Theory and Experiments by
bigCover of the book Computer Safety, Reliability, and Security by
bigCover of the book Urban Public Housing in Northern Nigeria 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