Поиск :
Личный кабинет :
Электронный каталог: Смальян, Раймонд М. - Теория формальных систем
Смальян, Раймонд М. - Теория формальных систем
Доступно
1 из 1
1 из 1
Книга
Автор: Смальян, Раймонд М.
Теория формальных систем
Серия: Математическая логика и основания математики
Издательство: Наука, 1981 г.
ISBN отсутствует
Автор: Смальян, Раймонд М.
Теория формальных систем
Серия: Математическая логика и основания математики
Издательство: Наука, 1981 г.
ISBN отсутствует
Заказать 
На полку
Книга
С14 С-50
Смальян, Раймонд М.
Теория формальных систем / Раймонд М.Смальян ; Пер. с англ.: Н.К.Косовский ; Ред.: Н.А.Шанин. – М. : Наука, 1981. – 207 с. – (Математическая логика и основания математики). – Библиогр.: с.202-204. – Пер. изд.: Theory of Formal Systems / Smullyan R.M. - Princeton: Princeton Univ. Press, 1962.
С14
512
Индексный (книги) = С 14 - Математическая логика. Теория математических доказательств.Аксиоматика математической логики.Исчисления высказываний,исчисление предикатов.Теория алгоритмов, рекурсивные функции.Конструктивный анализ
Ключевых слов = математическая логика
Ключевых слов = формальные математические системы
С14 С-50
Смальян, Раймонд М.
Теория формальных систем / Раймонд М.Смальян ; Пер. с англ.: Н.К.Косовский ; Ред.: Н.А.Шанин. – М. : Наука, 1981. – 207 с. – (Математическая логика и основания математики). – Библиогр.: с.202-204. – Пер. изд.: Theory of Formal Systems / Smullyan R.M. - Princeton: Princeton Univ. Press, 1962.
С14
512
Индексный (книги) = С 14 - Математическая логика. Теория математических доказательств.Аксиоматика математической логики.Исчисления высказываний,исчисление предикатов.Теория алгоритмов, рекурсивные функции.Конструктивный анализ
Ключевых слов = математическая логика
Ключевых слов = формальные математические системы
| Филиал | Фонд | Всего | Доступно для брони | Доступно для выдачи | Бронирование |
|---|---|---|---|---|---|
| ЦБ | 1 | 1 | 1 | Заказать |