Georg Kreisel

GPTKB entity