Электронный каталог НБ БНТУ

Многотомник

Применение методов математической логики, всесоюзная конференция (4 ; 1986 ; Таллин).
IV Всесоюзная конференция "Применение методов математической логики": тезисы докладов / Применение методов математической логики, всесоюзная конференция (4 ; 1986 ; Таллин); под ред. Г.Е. Минц, П.П. Лорентс. – Таллинн: АН ЭССР, 1986. - В надзаг.: Институт кибернетики Академии наук Эстонской ССР.
Книга
51 П76

Секция "Логика взаимодействующих процессов". Секция "Алгоритмика трудных задач" / под ред. Г.Е. Минц, П.П. Лорентс. – 1986. – 197 с. - .: 1.40.

510.6-7(043.2)

общий = МАТЕМАТИЧЕСКАЯ ЛОГИКА