No label defined (Q4332419)
From MaRDI portal
scientific article; zbMATH DE number 978243
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 978243 |
Statements
17 August 1997
0 references
proof theory
0 references
algebraic logic
0 references