t_wの輪郭
集合
半順序集合
2024/4/22 10:47:00
ハイティング代数
代数
直観主義論理
ハイティング代数
2024/4/22 10:36:00
Awodey『圏論』