El enigma de Kripke: una solución formal-intensional | Publicación