Gazdag Zsolt: Herbrand tétele. (2020) [Video]
Németh L. Zoltán and Iván Szabolcs: Logika és informatikai alkalmazásai : példatár. (2014) [Note, textbook]
Árgilán Viktor Sándor: Matematikai praktikum példatár informatikus felsőoktatási szakképzési szakosoknak. (2018) [Note, textbook]
Árgilán Viktor Sándor: Tanulási útmutató : matematika praktikum. (2018) [Teaching Resource]
Árgilán Viktor Sándor and Csallner András Erik: Tanulási útmutató : Számítástudomány alapjai II. (2019) [Teaching Resource]
Árgilán Viktor Sándor and Csallner András Erik: Tanulási útmutató : számítástudomány alapjai I. (2018) [Teaching Resource]
Árgilán Viktor Sándor and Kelemen András: Jegyzet : programozás-technikai praktikum. (2019) [Note, textbook]
Ésik Zoltán: Logika a számítástudományban : logika és informatikai alkalmazásai. (0020) [Note, textbook]