No label defined (Q4575567)
From MaRDI portal
scientific article; zbMATH DE number 6903784
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 6903784 |
Statements
13 July 2018
0 references
multiple conclusion natural deductions
0 references
Kneale's developments
0 references
analytic deductions
0 references
classical propositional logic
0 references