George Metcalfe

Proof Theory for Lattice-Ordered Groups; November 27, 2013