Sovability of the problem of deducibility in LJ for a class of formulas not containing negative occurrences of quantifiers (Q2543316)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Sovability of the problem of deducibility in LJ for a class of formulas not containing negative occurrences of quantifiers |
scientific article |
Statements
Sovability of the problem of deducibility in LJ for a class of formulas not containing negative occurrences of quantifiers (English)
0 references
1968
0 references
