Olga Kosheleva Vladik Kreinovich An Application of Logic to Combinatorial Geometry: How Many Tetrahedra are Equidecomposable with a Cube? 31-34 1994 40 Math. Log. Q. db/journals/mlq/mlq40.html#KoshelevaK94