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
Publisert 1. aug. 2019 11:02
- Sist endret 1. aug. 2019 11:02