@TechReport{DJDHughes:LWS, author = {Hughes, Dominic J.D.}, title = {Logic {W}ithout {S}yntax}, year = {2005}, note = {Tech report, January 2005. Archived (with minor corrections) April 4, 2005, as http://arxiv.org/abs/math.LO/0504065} }