📘
Логика, доказательства и вычисления
  • Посвящение
  • Вступление
  • Лекция 1. Формальные языки
  • Лекция 2. Семантика и доказательство
  • Лекция 3. Таблицы истинности и исчисление высказываний
Powered by GitBook
On this page

Was this helpful?

Посвящение

Вилли Риа, Ученому и Математику

NextВступление

Last updated 4 years ago

Was this helpful?