Undecidable properties of syntactic theories (Q5055755)
From MaRDI portal
scientific article; zbMATH DE number 7631163
Language | Label | Description | Also known as |
---|---|---|---|
English | Undecidable properties of syntactic theories |
scientific article; zbMATH DE number 7631163 |
Statements
Undecidable properties of syntactic theories (English)
0 references
9 December 2022
0 references