Textbook

The course will use the textbook ?Mathematical Logic for Computer Science? by Mordechai Ben-Ari.

From the UiO network, you can access this book free of charge here:

https://link.springer.com/book/10.1007%2F978-1-4471-4129-7