t_wの輪郭

Feedlyでフォローするボタン
証明列挙proof by enumeration
『情報数学 I 第十二回: 述語論理』