1 - An introduction to independence for analysts |
2 - Axiomatic set theory : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Axiomatic Set Theory, held at the University of Colorado, Boulder, June 19-25, 1983 |
3 - Handbook of mathematical logic |
4 - Multiple forcing |