No label defined (Q5413345)
From MaRDI portal
scientific article; zbMATH DE number 6290317
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 6290317 |
Statements
29 April 2014
0 references
bounded arithmetic
0 references
regular cut
0 references
collection axiom
0 references