Applied Logic
10 credits
Reading list, Master's level, 1MA058
A revised version of the reading list is available.
Main group 1
- Huth, Michael; Ryan, Mark, Logic in computer science: modelling and reasoning about systems, 2. ed., Cambridge, Cambridge Univ. Press, 2004