A thorough introduction to the fundamental methods and results in mathematical logic, and its foundational role in computer science.
Jeremy Avigad Livres
Acheter 10 livres pour 10 € ici !
A thorough introduction to the fundamental methods and results in mathematical logic, and its foundational role in computer science.