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