В библиотеку сообщества
Огромное количество материалов по формальной логике и теории множеств можно найти в электронной библиотеке механико-математического факультета МГУ. Правда, доступ к файлам возможен только через пиринговую сеть ed2k (для загрузки файлов нужно скачать и установить программу eMulePlus). Книги представлены преимущественно в формате djvu (для просмотра необходимо скачать Djvu Editor). Я уже скачал несколько книг по теории множеств (Александров, Бурбаки, Куратовский/Мостовский и др.). Другого такого источника в интернете нет!