Зведений каталог бібліотек Києва
А119479Кворцов, Дмитрий Об интерпретации пропозициональных и предикатных формул посредству финитных и нефинитных задач [Текст] : Автореф... канд. физ.-мат.наук: 01.01.06 / Кворцов Дмитрий Павлович; МГУ. — М., 1980. — 14л.
- Теми документа