Еще
Логотип LiveLib

Это новая версия страницы. Часть функций ещё в работе — мы добавляем их постепенно.

К старой версии страницы
Даг Правиц - Натуральный вывод. Теоретико-доказательное исследование
18+
User AvatarВаша оценка
0
(0)

Натуральный вывод. Теоретико-доказательное исследование

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

Жанры

Издательство:

Лори

ISBN:

5-85582-026-2

Год издания:

1997

Язык:

Русский

Возрастные ограничения:

18+

Содержание

Рейтинг LiveLib

0
0 оценок
Эту книгу пока никто не оценил, ваша оценка может стать первой
User AvatarВаша оценка
Хотят прочитать 3

Рецензии

На эту книгу еще нет ни одной рецензии. Ваша может стать первой.

Популярное

Цитаты

Еще не добавлена ни одна цитата из книги. Ваша может стать первой.

Другие издания

  • Натуральный вывод. Теоретико-доказательное исследование