Naming and necessity - Kripke, Saul A.; Kripke, Saul A. (Basil Balckwell Oxford, 1980)
Keywords: R3