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