Proofs and Algorithms

An Introduction to Logic and Computability

Nonfiction, Science & Nature, Mathematics, Logic, Computers, Advanced Computing, Computer Science, General Computing

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

More books from Springer London

bigCover of the book Stochastic Systems by

bigCover of the book Roads to Radiology by

bigCover of the book Retinal Detachment Surgery by

bigCover of the book Thriving Systems Theory and Metaphor-Driven Modeling by

bigCover of the book Mathematical Writing by

bigCover of the book Energy Systems of Complex Buildings by

bigCover of the book Lattice Boltzmann Method by

bigCover of the book Guide to Biometric Reference Systems and Performance Evaluation by

bigCover of the book Pediatric Critical Care Medicine by

bigCover of the book Measurement of Atmospheric Emissions by

bigCover of the book Probability Models by

bigCover of the book BioH2 & BioCH4 Through Anaerobic Digestion by

bigCover of the book Evolutionary and Adaptive Computing in Engineering Design 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