Kurt Gödel Collected Works, Volume 3

GPTKB entity