Kurt Grelling
V. Peckhaus, in: Modern Logic Calendar 1995, 1995, p. März.