Mathematical Logic and Computation
Download or Read eBook Mathematical Logic and Computation PDF written by Jeremy Avigad and published by Cambridge University Press. This book was released on 2022-09-30 with total page 527 pages. Available in PDF, EPUB and Kindle.
Author | : Jeremy Avigad |
Publisher | : Cambridge University Press |
Total Pages | : 527 |
Release | : 2022-09-30 |
ISBN-10 | : 9781108478755 |
ISBN-13 | : 1108478751 |
Rating | : 4/5 (55 Downloads) |
Book Synopsis Mathematical Logic and Computation by : Jeremy Avigad
Book excerpt: A thorough introduction to the fundamental methods and results in mathematical logic, and its foundational role in computer science.