No label defined (Q4939407)
From MaRDI portal
scientific article; zbMATH DE number 1406467
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 1406467 |
Statements
25 October 2000
0 references
normal form
0 references
intuitionistic natural deduction
0 references
sequent calculus
0 references