Kripke's Wittgenstein

GPTKB entity