Normalization Proof for Derivations in PA after P. Cohen (Q5013909)
From MaRDI portal
scientific article; zbMATH DE number 7438601
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Normalization Proof for Derivations in PA after P. Cohen |
scientific article; zbMATH DE number 7438601 |
Statements
Normalization Proof for Derivations in PA after P. Cohen (English)
0 references
3 December 2021
0 references
