No label defined (Q4895483)
From MaRDI portal
scientific article; zbMATH DE number 935104
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 935104 |
Statements
13 January 1997
0 references
interpretation
0 references
Boolean algebra
0 references
lattice-graph
0 references
iterated quantification of atomic formulas
0 references
predicate logic
0 references
