/OpenLogic

An open-source, customizable intermediate logic textbook

Primary LanguageTeXCreative Commons Attribution 4.0 InternationalCC-BY-4.0

Watchers