The axiomatic method : with special reference to geometry and physics : Proceedings of an International Symposium held at the University of California, Berkeley, December 26, 1957 - January 4, 1958 - Henkin, Leon.; Suppes, Patrick, 1922-; Tarski, Alfred. (Studies in logic and the foundations of mathematics, 1959)