Semester(s) Offered: FallSpring Prerequisite(s): MAC 2311. CR: MAC 2312. Textbook(s): G. Chartrand, A. Polimeni, P. Zhang, Mathematical Proofs, second edition. Description: Basic mathematical logic. Methods of proof in mathematics. Application of proofs to elementary mathematical structures.