519.7 К71 Косовский, Н. К.     Элементы математической логики и ее приложения к теории субрекурсивных алгоритмов [Текст] : Учебное пособие / Н.К. Косовский. — Ленинград : Издательство Ленинградского университета, 1981. — 192 с.

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