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 Asymptotic Chaos Expansions in Finance by

bigCover of the book Cancer: Palliative Care by

bigCover of the book Advances in Laparoscopy of the Abdominal Wall Hernia by

bigCover of the book Hazards and Errors in Anaesthesia by

bigCover of the book Malignant Brain Tumours by

bigCover of the book CIRP Design 2012 by

bigCover of the book Cardiac Valvular Medicine by

bigCover of the book Bone-Implant Interface in Orthopedic Surgery by

bigCover of the book Modelling and Controlling Hydropower Plants by

bigCover of the book Palliative Care in Clinical Practice by

bigCover of the book Guide to Medical Image Analysis by

bigCover of the book Paediatric Orthopaedic Trauma in Clinical Practice by

bigCover of the book Introduction to Computational Social Science by

bigCover of the book Metasynthetic Computing and Engineering of Complex Systems by

bigCover of the book Genitourinary Imaging 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