The course is a study of mathematical logic that covers topics such as propositions, logical operators, rules of replacement, rules of inference, algebra of logic and quantifiers, and methods of proof. It also includes a discussion of the elementary theory of sets such as fundamental concepts of sets, set theorems, set operations, functions, and relations. It prepares the students for higher/advanced mathematics (Number theory, Linear Algebra, Abstract Algebra)