View of A quantifier-less calculus of names with the rule of extensionality

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