research

The omega-rule interpretation of transfinite provability logic

Abstract

A

    Similar works