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