First order predicate calculus - notion of freely substitutable

Printable View