Прикладная математическая логика / Днепропетров. ин-т инженеров ж.-д. трансп. им. М. И. Калинина, Каф. прикл. математики. Ч. 2. — 1989. — 56 с. (1989)