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
