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