A thorough introduction to the fundamental methods and results in mathematical logic, and its foundational role in computer science.
Jeremy Avigad Pořadí knih
- 2022
Do Vánoc stíháš objednat ještě 1 den a 2 hodiny.
A thorough introduction to the fundamental methods and results in mathematical logic, and its foundational role in computer science.