Lorenzen Between Gentzen and Schütte (Q5024725)
From MaRDI portal
scientific article; zbMATH DE number 7465327
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Lorenzen Between Gentzen and Schütte |
scientific article; zbMATH DE number 7465327 |
Statements
Lorenzen Between Gentzen and Schütte (English)
0 references
27 January 2022
0 references
Lorenzen
0 references
proof theory
0 references
\(\omega\)-rule
0 references
0 references
0 references
