An Application of Logic to Combinatorial Geometry: How Many Tetrahedra are Equidecomposable with a Cube? (Q4304146)
From MaRDI portal
scientific article; zbMATH DE number 636006
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An Application of Logic to Combinatorial Geometry: How Many Tetrahedra are Equidecomposable with a Cube? |
scientific article; zbMATH DE number 636006 |
Statements
An Application of Logic to Combinatorial Geometry: How Many Tetrahedra are Equidecomposable with a Cube? (English)
0 references
5 October 1994
0 references
equidecomposability
0 references
generalized quantifier
0 references
decidability
0 references
tetrahedra
0 references
