Selecting a Proof Method
Sundstrom, Mathematical Reasoning: Writing and Proof
Levin, Discrete mathematics, an open introduction, Open Textbook Library, 2016-
LaTeX Editor Demo