Formally self-referential propositions for cut free classical analysis and related systems

Show full title
Archive der Universität Konstanz
Data provider's object view