Logical Dilemmas: The Life and Work of Kurt Gödel

GPTKB entity