名古屋大学附属図書館




1

The axiomatic method with special reference to geometry and physics : proceedings of an International Symposium held at the Univ. of California, Berkeley, Dec.26,1957-Jan.4,1958

ed. by Leon Henkin, Patrick Suppes and Alfred Tarski. -- North-Holland Publishing Co., 1959. -- (Studies in logic and the foundations of mathematics).