The top documents tagged [methods of logical reasoning]