Зведений каталог бібліотек Києва

 

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


- Теми документа

  • ББК науковий // Основи математики та математична логіка
  • ББК науковий // Теорія моделей



Наявність
Установа Кількість Документ на сайті установи
Наукова бібліотека ім.М.Максимовича Київського національного університету імені Тараса Шевченка 1 Перейти на сайт