A note on the Σ<sub>1</sub>collection scheme and fragments of bounded arithmetic (Q3552388)

From MaRDI portal
scientific article
Language Label Description Also known as
English
A note on the Σ<sub>1</sub>collection scheme and fragments of bounded arithmetic
scientific article

    Statements

    Identifiers