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: Johannes Klaus Fichte
Last updated: 2024-09-09