The Software Foundations series is a broad introduction to the mathematical underpinnings of reliable software. Logical Foundations serves as the entry-point to the series. It covers functional programming, basic concepts of logic, computer-assisted theorem proving, and Coq.