Lecture notes in mathematical logic — K. Schütte | Zenodot