This book deals with two important branches of mathematics, namely, logic and set theory. Logic and set theory are closely …