A thorough introduction to the fundamental methods and results in mathematical logic, and its foundational role in computer science.
Jeremy Avigad Poradie kníh
- 2022
Z Knihobotu sa stal Bookbot!
A thorough introduction to the fundamental methods and results in mathematical logic, and its foundational role in computer science.