International Symposium on the Axiomatic Method, with Special Reference to Geometry and Physics, University of California, Berkeley, 1957/58