...Velleman's text made for a particularly structured and formal course in proofs and logic. Finally, I developed a working understanding of some basic graph theory, computational complexity, and algorithms during a graduate course I took through the University of Colorado at Boulder. In most of t... (read more)