1. Главная
  2. Библиотека
  3. Натуральный вывод. Теоретико-доказательственное исследование

Видеозаписи 132 видеозаписи

Партия линии // Выпуск 3. Нидерландский рисунок XVI века. Кабинетные витражи и техника «кьяроскуро»
Арт-медитация с Эрмитажем. Озеро Четырех Кантонов
[26 из 33] Юрий Лотман — Значение искусства в жизни человека
Майская ночь. Одна из самых фантастических и поэтических опер Римского-Корсакова. По Гоголю (1972)
Буквоед
Издательство «МИФ»
Натуральный вывод. Теоретико-доказательственное исследование
Натуральный вывод - одна из лучших монографий в мировой логической литературе, посвященная анализу эффективного и перспективного в плане различных приложений метода формулировки логических систем натурального вывода. .Эта книга - не имеющий аналогов источник концентрированной информации как для логиков-профессионалов, так и для всех, кто стремится получить глубокие знания в области формализации логических доказательств.

Fatal error: Uncaught Error: Call to a member function fetch_row() on false in /home/user/web/тумба.онлайн/private/versions/ver_5/pages/books_single.php:285 Stack trace: #0 /home/user/web/тумба.онлайн/private/versions/ver_5.php(577): include() #1 /home/user/web/тумба.онлайн/public_html/index.php(200): include('...') #2 {main} thrown in /home/user/web/тумба.онлайн/private/versions/ver_5/pages/books_single.php on line 285