Ordinal logics and the characterization of informal concepts of proof

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