Norbert Gratzl, Hilbert and Bernays on definite descriptions , Studia Philosophiae Christianae, 2011, 47, 4, s. 19-29