Gödel's Notre Dame Course. - Milos Adzic; Kosta Dosen (Bull. Symb. Log., 2016)

Gödel's Natural Deduction. - Kosta Dosen; Milos Adzic (Stud Logica, 2018)

Gödel on Deduction. - Kosta Dosen; Milos Adzic (Stud Logica, 2019)

Gödel's Introduction to Deduction. - Milos Adzic (Perspectives on Deduction, 2024)