Как мы уже говорили выше, всякое логическое исчисление может быть задано следующим образом: определяется понятие ... - Большая Энциклопедия Нефти и Газа
Большая Энциклопедия Нефти и Газа
Главная
Карта сайта
Поиск +
Поиск по рисункам
Помощь
Выдержка из книги Новиков П.С. Элементы математической теории Изд.2
Как мы уже говорили выше, всякое логическое исчисление может быть задано следующим образом: определяется
понятие формулы
и понятие выводимой формулы.
(cкачать страницу)
Смотреть книгу на
libgen
Поделиться ссылкой: