Vol. 32. Larson, Paul Bradley
The stationary tower : notes on a course by W. Hugh Woodin
QA9.7 L37