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 A Study into Financial Globalization, Economic Growth and (In)Equality by
bigCover of the book Introducing the Stars by
bigCover of the book Superconductivity in Graphene and Carbon Nanotubes by
bigCover of the book Minimally Invasive Gynecology by
bigCover of the book Software Design for Resilient Computer Systems by
bigCover of the book Noninvasive Mechanical Ventilation by
bigCover of the book Rolling Circle Amplification (RCA) by
bigCover of the book Catalyzing Development through ICT Adoption by
bigCover of the book Machine Learning and Knowledge Discovery in Databases by
bigCover of the book Privacy in Statistical Databases by
bigCover of the book Functional Numerical Methods: Applications to Abstract Fractional Calculus by
bigCover of the book Perspectives on Peacekeeping and Atrocity Prevention by
bigCover of the book Human Rights, Social Movements and Activism in Contemporary Latin American Cinema by
bigCover of the book First-Trimester Ultrasound by
bigCover of the book Bifurcation and Degradation of Geomaterials in the New Millennium 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