Set constructors, finite sets, and logical semantics (Q4223454)
From MaRDI portal
scientific article; zbMATH DE number 1235210
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Set constructors, finite sets, and logical semantics |
scientific article; zbMATH DE number 1235210 |
Statements
Set constructors, finite sets, and logical semantics (English)
0 references
19 April 1999
0 references
scons constructor
0 references
Herbrand structure
0 references
finite sets
0 references
