Return to Article Details Equating categorially names and quantifiers within first-order logic Download Download PDF