Ю. С. Рамський і І. А. Твердохліб, «Деякі аспекти навчання математичної логіки студентів інформатичних спеціальностей», kosn, вип. 19 (26), с. 13–19, Трав 2019.