No label defined (Q4761680)
From MaRDI portal
scientific article; zbMATH DE number 1567850
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 1567850 |
Statements
21 February 2001
0 references
full rights admission problem
0 references
axiomatics
0 references
two-sorted theory of classes and sets
0 references
sets of propositional formulas
0 references