Erfasste Open-Source-Repos von OpenLogicProject, sortiert nach Sternen.
Ein Open-Source und anpassbares Lehrbuch für Logikgrundlagen
