2009年1月25日の日記で、金子洋之先生の証明論的意味論について、文献名を追記する。
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。