一些逻辑学相关的信息化工具

2018现代逻辑会的教育环节讲座 Slides