Do Vánoc stíháš objednat ještě 3 dny a 22 hodin. 
Knihobot

Jeremy Avigad

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

      Mathematical Logic and Computation