Математическая логика и теория алгоритмов

Конспекты лекций

• Полнота логических функций. Теорема дедукции. Свойства формальных теорий (логических систем). Равносильные формулы логики предикатов