Доказательство теоремы Кантора-Бернштейна приведено также в книге: Н.К. Верещагин, А.Шень. Лекции по математической логике и теории алгоритмов. Часть 1. Начала теории множеств. М: МЦНМО, 1999, 128 с.
, которую Вы совершенно законно можете скачать здесь:
http://www.mccme.ru/free-books/