La logique des noms propres - Kripke, Saul (Éd. de Minuit, 1982)