везде Расширенный поиск
книги Наука, техника, медицина Гуманитарные науки Философия Логика

Д. Правиц

Натуральный вывод

Код 911

  • ISBN: 5-85582-026-2
  • 108 страниц
  • ноябрь 1997
  • Лори
  • 175 г
Бумажная книга

1.61 USD

Купить

Внимание! Книгу продает: Дмитрий Андреевич

Условия продажи: оплата и доставка товара через books.ruПодсказка

Оплата и доставка через books.ru

Аннотация к книге "Натуральный вывод"

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

Оставить замечание о найденной опечатке Версия для печати

Оставить комментарий

Оцените книгу:

Издательство: Лори
Дата выхода: ноябрь 1997
ISBN: 5-85582-026-2
Объём: 108 страниц
Масса: 175 г
Размеры(высота, ширина, толщина), см: 24 x 17 x 1
Место в рейтинге продаж: 35

Книга находится в категориях

Пятница 2018

Вместе с этой книгой покупают

Блокчейн для чайников
Блокчейн для чайников бумажная книга
Тиана Лоуренс
Нет в продаже
Домашние уроки здоровья. Гимнастика без тренажеров. 50 незаменимых упражнений для дома и зала
Домашние уроки здоровья. Гимнастика без... бумажная книга
Сергей Бубновский
Нет в продаже
Тайный год
Тайный год бумажная книга
Михаил Гиголашвили
Нет в продаже
-11%
Омерзительное искусство. Юмор и хоррор шедевров
Омерзительное искусство. Юмор и хоррор шедевров бумажная книга
Софья Андреевна...
15.57 USD 13.86 USD
1
В корзину
PHP и MySQL. Разработка Web-приложений. Шестое издание
PHP и MySQL. Разработка Web-приложений. Шестое... бумажная книга
Денис Николаевич...
Нет в продаже
OrCAD 17.2. Анализ и проектирование электронных устройств
OrCAD 17.2. Анализ и проектирование электронных... бумажная книга
Владимир...
10.84 USD
В корзину