An introduction to modern mathematical reasoning and discourse, emphasizing the distinctive ways in which logic and language are used and the motivations behind them. Develops methods of precise definition and rigorous proof. Several topics are explored, illustrating mathematics as a living, dynamic subject with its own culture and conventions. Offered S/U only. 9/4/2019 - 12/13/2019, Lecture