t_wの輪郭

Feedlyでフォローするボタン
論理高階
『トポスと高階論理 - topos-and-hol.pdf』