1,075 followers
証明論のサーベイもバランスが取れたものを書かれています.R. Karhle, “Mathematical Proof Theory in the Light of Ordinal Analysis”, Synthese. https://t.co/2c18qxGASX
証明論のサーベイもバランスが取れたものを書かれています.R. Karhle, “Mathematical Proof Theory in the Light of Ordinal Analysis”, Synthese. https://t.co/2c18qxGASX