Rosalie Iemhoff

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