| |
Провотар, А. И.
Булева алгебра как фрагмент теории булевых топосов [Текст] / А. И. Провотар, В. А. Кондратенко, Т. Н. Дудка
// Кибернетика и системный анализ. – 2001. – № 1. – 163-170.
За основу изложения взято понятие стрелки - абстрагированное от данных понятий отображения |
