Cousin’s lemma in second-order arithmetic (Q5072245)
From MaRDI portal
scientific article; zbMATH DE number 7514667
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Cousin’s lemma in second-order arithmetic |
scientific article; zbMATH DE number 7514667 |
Statements
Cousin’s lemma in second-order arithmetic (English)
0 references
27 April 2022
0 references
0 references
