Поиск :
Личный кабинет :
Электронный каталог: Математическая логика в программировании
Математическая логика в программировании
Доступно
1 из 1
1 из 1
Книга
Автор:
Математическая логика в программировании : Сб.ст.
Издательство: Мир, 1991 г.
ISBN отсутствует
Автор:
Математическая логика в программировании : Сб.ст.
Издательство: Мир, 1991 г.
ISBN отсутствует
Заказать 
На полку
Книга
Ц840 М-34
Математическая логика в программировании : Сб.ст. / Пер. с англ., ред.: М.В.Захарьящев, Ю.И.Янов. – М. : Мир, 1991. – 408 с. : ил.
Ц840 + С14
Индексный (книги) = Ц 840 - Программирование. Общие вопросы
Индексный (книги) = С 14 - Математическая логика. Теория математических доказательств.Аксиоматика математической логики.Исчисления высказываний,исчисление предикатов.Теория алгоритмов, рекурсивные функции.Конструктивный анализ
Ц840 М-34
Математическая логика в программировании : Сб.ст. / Пер. с англ., ред.: М.В.Захарьящев, Ю.И.Янов. – М. : Мир, 1991. – 408 с. : ил.
Ц840 + С14
Индексный (книги) = Ц 840 - Программирование. Общие вопросы
Индексный (книги) = С 14 - Математическая логика. Теория математических доказательств.Аксиоматика математической логики.Исчисления высказываний,исчисление предикатов.Теория алгоритмов, рекурсивные функции.Конструктивный анализ
| Филиал | Фонд | Всего | Доступно для брони | Доступно для выдачи | Бронирование |
|---|---|---|---|---|---|
| ЦБ | 1 | 1 | 1 | Заказать |