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 Guide to Intelligent Data Analysis by
bigCover of the book Cloud Computing by
bigCover of the book Management of Heart Failure by
bigCover of the book Middleware Solutions for the Internet of Things by
bigCover of the book Geriatric Medicine by
bigCover of the book Metabonomics and Gut Microbiota in Nutrition and Disease by
bigCover of the book Offshore Risk Assessment vol 2. by
bigCover of the book Biomechanics and Biomaterials in Orthopedics by
bigCover of the book Regenerative Medicine by
bigCover of the book Applications and Innovations in Intelligent Systems VIII by
bigCover of the book Real-Time 3D Interventional Echocardiography by
bigCover of the book Minimalism by
bigCover of the book Osteoporosis in Clinical Practice by
bigCover of the book Regulation of the Power Sector by
bigCover of the book Pathology of the Mesothelium 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