1 С Смирнов, В. А.     Формальный вывод и логические исчисления. [Текст] / В.А. Смирнов. — М., 1972. — 271с.

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