No label defined (Q3705448)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article |
Statements
1983
0 references
syntactical objects
0 references
formal derivations
0 references
ZFC set theory
0 references
trees
0 references
orderings
0 references
Boolean values
0 references
Gentzen-type derivation calculus for ZFC
0 references
