Hide menu

TDDD88 Logic

Course material


  • Slides, ebook and quizes are available via

  • Book (supplementary reading, not required, but helpful for self-learning)

    • 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