Reading list
Logic in Computer Science
Matematisk logik för datavetenskap
Course
DIT203
Second cycle
7.5 credits (ECTS)
About the Reading list
Valid from
Autumn semester 2026 (2026-08-31)
Decision date
2026-01-30
Logic in Computer Science. by Michael Huth and Mark Ryan, second edition.
There is an electronic version. at Store.
There is also an electronic version of the book available via Chalmers library.