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 Decision Making in Manufacturing Environment Using Graph Theory and Fuzzy Multiple Attribute Decision Making Methods by

bigCover of the book Quaternions for Computer Graphics by

bigCover of the book Distributed-Order Dynamic Systems by

bigCover of the book Robotics in Genitourinary Surgery by

bigCover of the book Hybrid Electric Vehicles by

bigCover of the book Distributed Large-Scale Dimensional Metrology by

bigCover of the book Manual of Ambulatory General Surgery by

bigCover of the book Recent Advances in System Reliability by

bigCover of the book Reducing Risk in Fertility Treatment by

bigCover of the book GSN - The Goal Structuring Notation by

bigCover of the book Interventional Radiology Procedures in Biopsy and Drainage by

bigCover of the book Guide to HTML, JavaScript and PHP by

bigCover of the book Concise Guide to Databases by

bigCover of the book Transformation Electromagnetics and Metamaterials 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