Metapredicative And Explicit Mahlo: A Proof-Theoretic Perspective

by Gerhard Jäger
Citations:3 - 2 self