Строгой Импликации Исчисление
Логическое исчисление, основанное на строгой импликации, т. е. логической операции, соответствующей союзу лесли..., то..,
Математическая энциклопедияЛогическое исчисление, основанное на строгой импликации, т. е. логической операции, соответствующей союзу лесли..., то..,
Математическая энциклопедия