Predicate Calculus help (interpretation of equality in a model of equality)

Printable View