Прикладная математическая логика: Конспект лекций по курсу "Мат. логика" для студентов 1 курса спец. 0647 "Прикл. математика" / УУЗ МПС СССР, Днепропетр. ин-т инженеров ж.-д. трансп. им. М. И. Калинина, Каф. прикл. математики. - Днепропетровск, 1988 - Конашенко, С. И. (1988)