This book deals with two important branches of mathematics, namely, logic and set theory. Logic and set theory are closely related and play very crucial roles in the foundation of mathematics, and together produce several results in all of mathematics.