Kurt Gödel: An Intellectual Biography

GPTKB entity