Return to Article Details A quantifier-less calculus of names with the rule of extensionality Download Download PDF