Математическая энциклопедия
логическое исчисление, основанное на строгой импликации, т. е. логической операции, соответствующей союзу лесли..., то..,
«СТРОГОЙ ИМПЛИКАЦИИ ИСЧИСЛЕНИЕ»
СТРОГОЙ ИМПЛИКАЦИИ ИСЧИСЛЕНИЕ в энциклопедиях
СТРОГОЙ ИМПЛИКАЦИИ ИСЧИСЛЕНИЕ в энциклопедиях
логическое исчисление, основанное на строгой импликации, т. е. логической операции, соответствующей союзу лесли..., то..,