Математическая энциклопедия:
Логическое исчисление, основанное на строгой импликации, т. е. логической операции, соответствующей союзу лесли..., то..,
Смотреть другие определения →
© «СловоТолк.Ру» — толковые и энциклопедические словари, 2007-2020