Computability, Forcing and Descriptive Set Theoryby Douglas Cenzer, Christopher Porter, Jindrich ZapletalWriting a summary for young readers…For young readersBook data: Open Library