No label defined (Q5271422)
From MaRDI portal
scientific article; zbMATH DE number 6741937
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 6741937 |
Statements
11 July 2017
0 references
structural proof theory
0 references
proof-as-certificate
0 references
proof-as-message
0 references