Сложность вывода и сложность древовидных контрмоделей для логических исчеслений : Автореф... канд.физ.-мат.наук 01.01.06 / Ленингр. мат. ин-т АН СССР. - Л., 1985. - 20c.[MFN: 18807]
UDC: 517.11
TA 1.939 - Depositary Georgian Publications