A thorough introduction to the fundamental methods and results in mathematical logic, and its foundational role in computer science.
Jeremy Avigad Reihenfolge der Bücher
- 2022
Lieferung vor Weihnachten: Noch 2 Tage, 19 Stunden
A thorough introduction to the fundamental methods and results in mathematical logic, and its foundational role in computer science.