The top documents tagged [form of symbolic logic]