Exercises
Here is a an exercise for those who need an extra challenge:
http://folk.uio.no/larsk/ex2016.pdf
It is a hard exercise.
I will publish a solution within a few weeks.
SOLUTION: http://folk.uio.no/larsk/deduction.pdf
Published Sep. 25, 2018 2:29 PM
- Last modified Oct. 23, 2018 4:04 PM