Bull. Symbolic Logic

GPTKB entity