Mathematical Logic Advent Calender 2019 一日目の記事です. adventar.org 片側推件計算に対するカット除去定理の証明です. drive.google.com
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。