jake-tanton documents

The Expressivity of Quantifying over Regions Ernest Davis March 20, 2007
Documents The Expressivity of Quantifying over Regions Ernest Davis March 20, 2007