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