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