Всего: наименований – 65, экземпляров – 65
Вып. 2
- 2-е изд.
- 2-е изд. Ч-3
-2-е изд.
146: Логика и семантическое программирование
Вып. 122: Прикладные аспекты математической логики
Вып. 135: Системология и методологические проблемы информационно
Вып. 138: Методологические проблемы науки
Лекции по математической логике и теории алгоритмов; Ч.1
Т. 242