1 - 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 |
2 - Direct and converse theorems : the elements of symbolic logic |
3 - Poisson ensembles of loops of one-dimensional diffusions |
4 - The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory |