The authors cover first order logic and the main topics of set theory in a clear mathematical style with sensible …