Exercise
Here is an exercise for those who need an extra challenge:
http://folk.uio.no/larsk/ex2016.pdf
It is a hard exercise.
SOLUTION: http://folk.uio.no/larsk/deduction.pdf
Published Nov. 6, 2019 7:58 PM
- Last modified Nov. 6, 2019 7:58 PM