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 Synthetic Cathinones by
bigCover of the book Boundary Spanning Elements and the Marketing Function in Organizations by
bigCover of the book Banking Business Models by
bigCover of the book Tools for High Performance Computing 2015 by
bigCover of the book Open Problems in Mathematics by
bigCover of the book Ultraviolet Light in Human Health, Diseases and Environment by
bigCover of the book Materials Design and Applications II by
bigCover of the book Computational Methods in Physics by
bigCover of the book Type IV Secretion in Gram-Negative and Gram-Positive Bacteria by
bigCover of the book A New Perspective on Nonmonotonic Logics by
bigCover of the book The International Dimensions of Democratization in Egypt by
bigCover of the book The Real Numbers by
bigCover of the book Climate Conflicts - A Case of International Environmental and Humanitarian Law by
bigCover of the book Talent Management in Global Organizations by
bigCover of the book Advanced Connection Systems for Architectural Glazing 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