Completeness Theorems for the Systems E of Entailment and EQ of Entailment with Quantification (Q3272466)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Completeness Theorems for the Systems E of Entailment and EQ of Entailment with Quantification |
scientific article |
Statements
Completeness Theorems for the Systems E of Entailment and EQ of Entailment with Quantification (English)
0 references
1960
0 references
philosophy and foundations of mathematics
0 references
