Теория алгоритмов и дедуктивные теории : Учеб. пособие / Ш.И. Галиев ; Казан. авиац. ин-т им. А.Н. Туполева, Каф. прикл. математики
Язык: русский.Выходные данные: Казань : КАИ, 1977Физическая характеристика: 92 с. ; 20 см.Библиография: Список лит.: с. 90 (25 назв.).Предметная рубрика - Тема: Математическая логика Тип экземпляра: Книга| Тип экземпляра | Текущая библиотека | Шифр хранения | Статус | Срок возврата | Штрих-код | |
|---|---|---|---|---|---|---|
| Книга | РНБ (Московский) Русский книжный фонд: издания с 1957 года, 9этаж, Хран. | 78-4/3540 (Просмотр полки(Открывается ниже)) | Доступно | 6681089-20 |
Список лит.: с. 90 (25 назв.)