Alwe’s blog

Mathematical Logic Advent Calender 2019 一日目の記事です. adventar.org 片側推件計算に対するカット除去定理の証明です. drive.google.com