Textbook on metalogic based on the Open Logic Project - View it on GitHub