Jeremy Avigad Volgorde van de boeken (chronologisch)

A thorough introduction to the fundamental methods and results in mathematical logic, and its foundational role in computer science.