Lieferung vor Weihnachten: 1 Tag 7 Stunden
Bookbot

Jeremy Avigad

    Mathematical Logic and Computation
    • 2022

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

      Mathematical Logic and Computation