Formal Proof Theory に関する最新の記事

この記事では、強いL直観論理のための新しい逐次計算について話してるよ。