Kurt Gödel's posthumous works

GPTKB entity