Bulletin of Symbolic Logic

GPTKB entity