Как мы уже говорили выше, всякое логическое исчисление может быть задано следующим образом: определяется понятие ... - Большая Энциклопедия Нефти и Газа



Выдержка из книги Новиков П.С. Элементы математической теории Изд.2


Как мы уже говорили выше, всякое логическое исчисление может быть задано следующим образом: определяется понятие формулы и понятие выводимой формулы.

(cкачать страницу)

Смотреть книгу на libgen

Как мы уже говорили выше,  всякое логическое исчисление может быть задано следующим образом:  определяется понятие формулы и понятие выводимой формулы.