代数, 数学, 模型论, 计算机科学, 逻辑学

二值态态射 (2-valued morphism)

, , , ,