《软件基础》中译版是对《软件基础》系列教材的中文翻译项目。该系列教材由多位作者合著，包含多卷内容，介绍可靠软件的数理逻辑基础。目前译文为Alpha版，首卷初译完毕待审校，次卷正在翻译中，接受Issue反馈，欢迎参与翻译相关讨论，可供多种读者学习参考。
