"Fine Structure and Iteration Trees " - читать интересную книгу автора (William J. Mitchell, John R. Steel)