Proofs and Algorithms

An Introduction to Logic and Computability

Nonfiction, Science & Nature, Mathematics, Logic, Computers, Advanced Computing, Computer Science, General Computing
Big bigCover of Proofs and Algorithms

More books from Springer London

bigCover of the book Cleaner Combustion by
bigCover of the book Industrial Engineering: Innovative Networks by
bigCover of the book Ophthalmic Histopathology by
bigCover of the book Combinatorial Set Theory by
bigCover of the book Common Rail System for GDI Engines by
bigCover of the book Mathematics for Computer Graphics by
bigCover of the book Optimization for Computer Vision by
bigCover of the book Video Text Detection by
bigCover of the book Glances at Renewable and Sustainable Energy by
bigCover of the book Serous Effusions by
bigCover of the book Physical Layer Multi-Core Prototyping by
bigCover of the book Pathology of the Pancreas by
bigCover of the book Advances in Vascular Medicine by
bigCover of the book Risk Navigation Strategies for Major Capital Projects by
bigCover of the book Innovation in Product 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