Logic: The Theory of Formal Inference

GPTKB entity