A friend of mine has asked for a reference to a resource for self study of set theory (for the sake of it). He has knowledge of basic predicate logic.
The books I know of are not suited for a non-mathematician, because even if they assume no prior knowledge, they are written in very technical fashion. Video series I know of (i.e. youtube videos) tend to be too superficial.
Any suggestions?
Edit: As (rightly) suggested in the comments, I'll expand a bit: I think a good book or lecture would be one that includes an introduction to the basic naive stuff (cardinals, ordinals, AC and it's equivalences). As well as nice "showcase" of results from these ideas (i.e. $|\mathbb{R}|=2^{\aleph_0}>\aleph_0=|\mathbb{N}|$).
Your friend might be interested in
Sets, logic, and axiomatic theories / by Robert R. Stoll | 1961
The first chapter should be accessible to your friend:
The book can be checked out online from the Internet Archive.
It should be pointed out that the world wide web is an incredible resource. Using search engines your friend could find relevant links by looking for keywords found in Stoll's Chapter 1. For example, use duckduckgo.com on
sets ordering relations math
If your friend is interested "in cardinals, ordinals, AC and it's equivalences... and 'showcase' of results from these ideas (i.e. $|\mathbb{R}|=2^{\aleph_0}>\aleph_0=|\mathbb{N}|$)", you should point them towards this site!
Interested in learning about cardinals? Could not find a duckduckgo bang, but this works,
cardinals site:www.math.stackexchange.com