Спаровоная книга по математической логике (Теория множеств, 1982)