Nahman Avigad

GPTKB entity