On the Mints Hierarchy in First-Order Intuitionistic Logic (Q5892381)
From MaRDI portal
scientific article; zbMATH DE number 6703930
Language | Label | Description | Also known as |
---|---|---|---|
English | On the Mints Hierarchy in First-Order Intuitionistic Logic |
scientific article; zbMATH DE number 6703930 |
Statements
On the Mints Hierarchy in First-Order Intuitionistic Logic (English)
0 references
11 April 2017
0 references
intuitionistic logic
0 references
Mints hierarchy
0 references
complexity
0 references
automata
0 references
0 references