edited by Dietrich Knorr. edited by Erich Weber. edited by Erich Fitzer. edited by Maurice Holt. edited by Patrick Richard. edited by Eric Reid. edited by H. Nicholson. edited by Patrick Chabal. edited by Patrick Suppes. edited by T. Ericsson.