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 Introduction to Compiler Design by

bigCover of the book Adaptive Control by

bigCover of the book Dynamics and Control of Switched Electronic Systems by

bigCover of the book Essentials of Nuclear Medicine by

bigCover of the book Urodynamics and the Evaluation of Female Incontinence by

bigCover of the book Energy Management in Buildings Using Photovoltaics by

bigCover of the book People and Computers XVII — Designing for Society by

bigCover of the book Psychology and Diabetes Care by

bigCover of the book Nuclear Waste Management, Nuclear Power, and Energy Choices 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