Theories of Boolean algebras in a calculus with the quantifier ''infinitely many exist'' (Q1256444)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Theories of Boolean algebras in a calculus with the quantifier ''infinitely many exist'' |
scientific article |
Statements
Theories of Boolean algebras in a calculus with the quantifier ''infinitely many exist'' (English)
0 references
1977
0 references
First-Order Logic with Extra Quantifier
0 references
Theory of Boolean Algebras
0 references
Decidability
0 references
