Most general first order theorems are not recursively enumerable (Q672461)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Most general first order theorems are not recursively enumerable |
scientific article |
Statements
Most general first order theorems are not recursively enumerable (English)
0 references
28 February 1997
0 references
\(\varepsilon\)-substitution
0 references
modal operators
0 references