The Editor-in-Chief Solomon Feferman is Professor of Mathematics and Philosophy, and Chairman of the Department of Mathematics at Stanford University. He is past president of the Association of Symbolic Logic. The Editors John W. Dawson, Jr., is Professor of Mathematics at Pennsylvania State University, York. Steven C. Kleene is Emeritus Dean of Letters and Science, and Emeritus Professor of Mathematics and Computer Science at the University of Wisconsin, Madison. Gregory H. Moore is Associate Professor of Mathematics at McMaster University, Hamilton, Ontario, Canada.