for Mathematical Reviews
Kurt Gödel: Collected Works.Oxford
vol. I, 1986; vol. II,1990; vol. III, 1995. Co-editor-in-chief,
History and Philosophy of Logic (quarterly), 2002-2009
scientific Nachlaß of Kurt Gödel, 1982-84.
and chaired symposium on "The life and work of
Kurt Gödel" at 7th International Congress on Logic,
Methodology, and Philosophy of Science, Salzburg, Austria,