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