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 Cyclic Peptide Toxins of Amanita and Other Poisonous Mushrooms by
bigCover of the book Design of Experiments for Reinforcement Learning by
bigCover of the book Managing Gastrointestinal Complications of Diabetes by
bigCover of the book Dendroecology by
bigCover of the book Introduction to Morphogenetic Computing by
bigCover of the book Human Parasites by
bigCover of the book Climate Change Fictions by
bigCover of the book Surgical Treatment of Colorectal Problems in Children by
bigCover of the book Recentering Africa in International Relations by
bigCover of the book Clean Energy from the Earth, Wind and Sun by
bigCover of the book Bioactive Components, Diet and Medical Treatment in Cancer Prevention by
bigCover of the book Interpretation of Basic and Advanced Urodynamics by
bigCover of the book R2P and the US Intervention in Libya by
bigCover of the book Bridging the Gap between Life and Physics by
bigCover of the book OpenSHMEM and Related Technologies. Big Compute and Big Data Convergence 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