Яворский Р.Э. Предикатные логики теорий первого порядка : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.06 / Р. Э. Яворский, 1998. - 11 с. - Текст : непосредственный.