Các kho mã nguồn mở đang theo dõi của OpenLogicProject, sắp xếp theo số sao.
Sách giáo khoa logic trung cấp có thể tùy chỉnh, mã nguồn mở
