/sets-logic-computation

Textbook on metalogic based on the Open Logic Project

Primary LanguageTeXCreative Commons Attribution 4.0 InternationalCC-BY-4.0

Stargazers