The top documents tagged [teaching formal logic]