Основы формальных систем : Учеб. пособие / И.Ю. Каширин, Л.В. Маликова, В.В. Маркова ; Под ред. д.т.н., проф. И.Ю. Каширина ; М-во образования Рос. Федерации, Науч.-информ. центр пробл. интеллектуал. собственности
Язык: русский.Выходные данные: М. : НИЦПрИС, 1999Физическая характеристика: 84 с. : ил. ; 21 см.ISBN: 5-900881-10-5 Библиография: Библиогр.: с. 83 (9 назв.).Предметная рубрика - Тема: Математическая логика -- Формальные системы -- Руководства, пособия и т.п. для высшей школы | Математическая логика -- Формальные системы -- Учебные издания для высшей школы Другие классификации: В123я73-1 Тип экземпляра: Книга| Тип экземпляра | Текущая библиотека | Шифр хранения | Кол-во копий | Статус | Срок возврата | Штрих-код | |
|---|---|---|---|---|---|---|---|
| Книга | РНБ (Московский) Русский книжный фонд: издания с 1957 года, 8этаж | 2000-4/5189 (Просмотр полки(Открывается ниже)) | 981 | Доступно | 1-1745393 | ||
| Книга | РНБ (Московский) Русский книжный фонд: издания с 1957 года, 8этаж | 2000-4/5189 (Просмотр полки(Открывается ниже)) | 981 | Доступно | 67070 |
Библиогр.: с. 83 (9 назв.)