The Art of Thinking: Port-Royal Logic

GPTKB entity