No label defined (Q4739892)
From MaRDI portal
scientific article; zbMATH DE number 3794044
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 3794044 |
Statements
1982
0 references
predicate
0 references
monadic
0 references
necessity
0 references
closure of a formula
0 references