Математическая логика: учебное пособие
- Палютин Евгений Андреевич
3 / 3 экз.
Аннотация
В кнгие изложены основные классические исчисления математической логики; исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов.
Библиографическая запись
22.122 я 73
Ершов Юрий Леонидович
Математическая логика : учебное пособие / Палютин Евгений Андреевич. — Москва : Наука, 1987. — 336 с.
Ершов Юрий Леонидович. Математическая логика : учебное пособие / Палютин Евгений Андреевич. — Москва : Наука, 1987. — 336 с.
Все поля
- Издательство
- Наука
- Место издания
- Москва
- Год издания
- 1987
- Объём
- 336 с
- Издание
- издание второе, исправленное и дополненное
- ББК / Шифр
- 22.122 я 73
- ГРНТИ
- 27
- Тип документа
- 2
- Язык
- Русский
Ключевые слова
Экземпляры (3)
-
O'zMPU ARM 3 экземпляраНа полке: 3
Список всех экземпляров
| Штрихкод | Шифр | Статус |
|---|---|---|
| CH0000001764 | 22.122 я 73 Е 804 | Доступен |
| CH0000001762 | 22.122 я 73 Е 804 | Доступен |
| CH0000001763 | 22.122 я 73 Е 804 | Доступен |
Отзывы и оценки
Войдите и оставьте отзыв.
Отзывов пока нет.