Applied Logic
10 credits
Reading list, Master's level, 1MA058
Main group 1
- Huth, Michael; Ryan, Mark, Logic in computer science: modelling and reasoning about systems, 2. ed., Cambridge, Cambridge Univ. Press, 2004Compulsory
* Compulsory
Reading list, Master's level, 1MA058
* Compulsory