The top documents tagged [methods of formal logic]