Strongly constructive Boolean algebras (Q5476784)
From MaRDI portal
scientific article; zbMATH DE number 5041653
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Strongly constructive Boolean algebras |
scientific article; zbMATH DE number 5041653 |
Statements
Strongly constructive Boolean algebras (English)
0 references
18 July 2006
0 references
computable Boolean algebra
0 references
decidable Boolean algebra
0 references
