No label defined (Q5809943)
From MaRDI portal
scientific article; zbMATH DE number 3069861
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 3069861 |
Statements
1951
0 references
system of axioms
0 references
implicational propositional calculus
0 references