A decidable subclass of the minimal Gödel class with identity (Q3695254)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A decidable subclass of the minimal Gödel class with identity |
scientific article |
Statements
A decidable subclass of the minimal Gödel class with identity (English)
0 references
1984
0 references
MGCI
0 references
SGCI
0 references
