(Prerequisite, MA 322 or permission of instructor.) Foundations of deductive mathematical reasoning and proof. Basic concepts of abstract algebra including symbolic logic, proof strategies, sets, relations mapping and binary operations. A study of some algebraic structures including groups, rings, integral domains and fields.