An open-source, customizable intermediate logic textbook - View it on GitHub