https://9dok.net/document/q2n7j88p-ubungen-zur-vorlesung-mathematische-logik.html