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