No label defined (Q4364520)
From MaRDI portal
scientific article; zbMATH DE number 1088205
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 1088205 |
Statements
7 January 1998
0 references
extension of Gentzen's LK
0 references
projective geometry
0 references
cut-elimination
0 references
sketches
0 references