http://page.mi.fu-berlin.de/raut/logic3/hint.pdf
https://www.math.fu-berlin.de/~raut
