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 Sep. 27, 2024 11:30 AM