edited by Satya N. Chatterjee. edited by Pronoy K. Chatterjee. edited by Satya N. Atluri. edited by A. van Itterbeek. edited by Ann Charters. edited by Barbara H. Partee. edited by D. Banerjea. edited by D.C. Carter. edited by E. M. Fettes. edited by G. Butters.