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 Essential Dynamic HTML fast by

bigCover of the book Case Based Echocardiography by

bigCover of the book Computer-Aided Design of User Interfaces VI by

bigCover of the book A History of Endometriosis by

bigCover of the book Liquid Biofuels: Emergence, Development and Prospects by

bigCover of the book Fractional Processes and Fractional-Order Signal Processing by

bigCover of the book Diabetes Management in Clinical Practice by

bigCover of the book Neurocritical Care by

bigCover of the book Agile Software Engineering by

bigCover of the book Highlights in Coloproctology by

bigCover of the book Clinical Cases in Geriatric Dermatology by

bigCover of the book Lyapunov Functionals and Stability of Stochastic Difference Equations by

bigCover of the book Software Verification and Analysis by

bigCover of the book Electrocatalysis in Fuel Cells 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