Journal of Logic and Analysis

GPTKB entity