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
edited by Leon Henkin, Patrick Suppes, Alfred Tarski.
Amsterdam : North-Holland, 1959.
xi, 488 págs. ; 23 cm.
Serie: Studies in logic and the foundations of mathematics