edited by H.Jerome Keisler edited by Perry Miller edited by Beverly Bossler. edited by John Miller edited by Muncie Hendler edited by Neil Spiller edited by Christoph Keller edited by G. W. Miller edited by George Ostler edited by James Wechsler