Proof of the law of infinite conjunction using the perfect disjunctive normal form (Q5520634)
From MaRDI portal
scientific article; zbMATH DE number 3232739
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Proof of the law of infinite conjunction using the perfect disjunctive normal form |
scientific article; zbMATH DE number 3232739 |
Statements
Proof of the law of infinite conjunction using the perfect disjunctive normal form (English)
0 references
1967
0 references
mathematical logic
0 references
