(1)
Referential Usage and Godelian Completions. tr 2007, 1 (6).