Proceeding on axiomatic method - Henkin Leon Ed.; International conference on axiomatic method (1957 : Berkeley); Suppes P Ed.; Tarski Alfred Ed. (1959)
Keywords: Philosophy of maths