- Наука и техника (5210)
- Математика (993)
- Натуральный вывод. Теоретико-доказательственное исследование
Натуральный вывод. Теоретико-доказательственное исследование
Автор:
Даг Правиц
(1)
Издательство: Лори
Место издания: Москва
Тип переплёта: Мягкий
Год издания: 1997
Формат: немного увеличенный
Состояние: Очень хорошее. Два ценника на задней стороне обложки.
Количество страниц: 108 с.
На остатке: 1
200 р.
Товар в корзине
Аннотация
Эта книга - не имеющий аналогов источник концентрированной информации как для логиков-профессионалов, так и для всех, кто стремится получить глубокие знания в области формализации логических доказательств.
(2000 продаж с 2019 г.)
Почтовый идентификатор:
- высылается всегда
Дополнительные сканы и фото:
- Не высылаются
Торг по цене:
- не возможен
Хранение неоплаченных заказов:
- 3 (дней)
Аннотация
Эта книга - не имеющий аналогов источник концентрированной информации как для логиков-профессионалов, так и для всех, кто стремится получить глубокие знания в области формализации логических доказательств.
Другие книги из раздела "Математика" (993) у данного продавца
Товар в корзине
Товар в корзине
Товар в корзине
Товар в корзине
Товар в корзине
Товар в корзине
Товар в корзине
Товар в корзине
Товар в корзине
Товар в корзине
Товар в корзине
Товар в корзине
Товар в корзине
Анализ устойчивости рассинхронизованных дискретных систем
Красносельский М. А.
Кузнецов Н. А.
Асарин Е. А.
Козякин В. С.
500 р.
Товар в корзине
Товар в корзине
Товар в корзине
Товар в корзине
Товар в корзине
Товар в корзине
Товар в корзине
Товар в корзине
Товар в корзине
Товар в корзине
Товар в корзине
Товар в корзине
Аналогичные книги смотрите в разделах:


