t_wの輪郭
RSS
『『計算論理学』講義資料』
直観主義論理
「普通の論理は、直観主義論理に対する拡張」
2023/9/27 23:51:00