A Survey of Symbolic Logic

GPTKB entity