Reviewer for Mathematical Reviews
 

 Co-editor, Kurt Gödel: Collected Works.Oxford University Press,
 vol. I, 1986; vol. II,1990; vol. III, 1995. Co-editor-in-chief, vols.
 IV-V, 2003.
 

 Editor, History and Philosophy of Logic (quarterly), 2002-2009
 

 Catalogued scientific Nachlaß of Kurt Gödel, 1982-84.
 

 Organized 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,
 July 1983