Title: Fine structure and iteration trees
First published: 1994
Subjects: Set theory, Constructive mathematics
LC classification: QA9.56 .M58 1994