Finished tableaux (predicate calculus)
Follows
Formalisation (predicate calculus)
Formalisation (propositional calculus)
Formulae (propositional calculus)
Formulae (predicate calculus)
Free variables
Graph of a relation
Hodges's test for p.r.o.