Корзина
0 экз.
0
Школьная форма

Натуральный вывод | Правиц

Натуральный вывод
Цена в интернет-магазине:
191
Цена в розничном магазине:
цена временно не определена
код товара:2159547
автор:Правиц
издательство: Лори
год выпуска:1997
ISBN:5-85582-026-2
вес: 190 г
оформление: мягкая обложка
кол-во страниц: 108
материал: Офсет
размер: 235x165x7 мм
Наличие и цены в розничных магазинах

Описание:
Натуральный вывод - одна из лучших монографий в мировой логической литературе, посвященная анализу эффективного и перспективного в плане различных приложений метода формулировки логических систем натурального вывода.
Эта книга - не имеющий аналогов источник концентрированной информации как для логиков-профессионалов, так и для всех, кто стремится получить глубокие знания в области формализации логических доказательств.

Обнаружили ошибку в описании Книга «Натуральный вывод» (Правиц, Лори)? Сообщите нам об ошибке.


Запрос на дополнительную информацию





Рецензии и отзывы на книгу Натуральный вывод

Отзывов пока нет


Оставить отзыв




Интернет-магазин "Чакона": купить книги в Самаре, Тольятти, Новокуйбышевске и Сызрани.

Вы можете оформить заказ в интернете или посетить наши розничные магазины. В наличии широчайший ассортимент товаров. Со многими издательствами мы работаем без посредников, поэтому у Вас есть возможность заказать самые свежие новинки и книги, которые только готовятся к выпуску. Доставка по России может быть для Вас бесплатной. Желаем удачных покупок!

loading...
Пожалуйста, войдите или зарегистрируйтесь, чтобы мы могли сохранить Ваш список.
Вы можете заказать данный товар, позвонив по телефону в тот магазин, где Вам удобнее будет его выкупать. Заказы через интернет-магазин временно не принимаются.
Текст сообщения:
(пожалуйста, опишите проблему как можно подробнее, чтобы мы смогли быстрее помочь вам)