Mathematical foundations of constructive solid geometry | lit.salon