No label defined (Q3964750)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article |
Statements
1981
0 references
exact squares
0 references
2-categories
0 references
deductive square
0 references
proofs
0 references
axiomatic theory
0 references
axioms
0 references
rules of deduction
0 references
