https://9dok.net/document/y962ev4d-ubungen-zur-vorlesung-mathematischen-logik.html