Handbook of Philosophical Logic

GPTKB entity