Lecture Notes in Mathematics 2188

Refinement Monoids, Equidecomposability Types & Boolean Inverse Semigroups