Textbook for Calgary's Logic II course based on the Open Logic Project - View it on GitHub