No label defined (Q3035275)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article |
Statements
1990
0 references
No Counterexample Interpretation
0 references
Infinite Ramsey Theorem
0 references
fragments of PA
0 references
linear logic
0 references
implementation of the NCI in Ketonen's proof checker EKL
0 references
