A System of Logic, Ratiocinative and Inductive

GPTKB entity