A thorough introduction to the fundamental methods and results in mathematical logic, and its foundational role in computer science.
Jeremy Avigad Book order (chronological)
Explore the latest books of this year!
A thorough introduction to the fundamental methods and results in mathematical logic, and its foundational role in computer science.