Examining Fragments of the Quantified Propositional Calculus (Q3617380)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Examining Fragments of the Quantified Propositional Calculus |
scientific article |
Statements
Examining Fragments of the Quantified Propositional Calculus (English)
0 references
23 March 2009
0 references
proof theory of propositional calculus in arithmetic
0 references
0 references