Zur Beweistheorie von KP+ $$ \varPi_{3} $$-Ref (Q5013917)
From MaRDI portal
scientific article; zbMATH DE number 7438610
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Zur Beweistheorie von KP+ $$ \varPi_{3} $$-Ref |
scientific article; zbMATH DE number 7438610 |
Statements
Zur Beweistheorie von KP+ $$ \varPi_{3} $$-Ref (English)
0 references
3 December 2021
0 references
