On hereditarily countable sets (1982)

by Thomas Jech
Venue:J. Symbolic Logic