Formal introduction to the concepts of logic, finite and infinite sets, functions, methods of proof and axiomatic systems. Learning mathematical expressions in writing is an integral part of the course. Pre: 243 (or concurrent) or 253A (or concurrent), or consent.