edited by Patrick Suppes. edited by Patrick Chabal. edited by Patrick Richard. edited by Patrick J. Webber. edited by David Gries. edited by Peter W. Hawkes. edited by Barry E. Jones. edited by F.E. Hughes. edited by Gurnos Jones. edited by George Holmes.