Уважаемые покупатели! В настоящий момент мы находимся в отпуске и не можем быстро обрабатывать Ваши заказы. Все поступившие заказы будут обработаны после 1 декабря. Приносим извинения за доставленные неудобства.
Нет в наличии
Натуральный вывод - одна из лучших монографий в мировой логической литературе, посвященная анализу эффективного и перспективного в плане различных приложений метода формулировки логических систем натурального вывода. Эта книга - не имеющий аналогов источник концентрированной информации как для логиков-профессионалов, так и для всех, кто стремится получить глубокие знания в области формализации логических доказательств.
НаучКнига. Сайт основан на движке Inozem | Служебный вход | © НаучКнига 2015-2017 Страница сгенерирована за 0.11с. |