Hide menu

TDDD72 Logic

Course material


  • Slides, ebook and quizes are available via

  • Book (supplementary reading, not required)

    • Mordechai Ben-Ari: Mathematical Logic for Computer Science, Springer
    • Correspondences between lectures/lessons and the book

Page responsible: Andrzej Szalas
Last updated: 2022-10-07