上传者的话
这本讲义是我从这儿搬来的. 原稿是 稿.
作者用 0BSD 协议发布了本书. 由此可见, 本书 “来自一个自由版权的来源”. 于是, 在香蕉空间发布本书不违反道德或协议.
搬运本书并不是一件容易的事. 尽管香蕉空间有 , 但这并不意味着我可直接地置 代码于此处. 我总是要作一些修改的; 毕竟, libro 跟 artikolo 是不一样的. 并且, 还要找到原书的部分实现 (realigo) 的平替. 我甚至要删除一些实现, 如 restatable 环境 (我想, 直接地重说定理或定义或例也是可被接受的).
若您想读本地文件, 您可以在 123 云盘或 Gitee 或 GitCode 或 GitHub 或 Codeberg 或 Bitbucket 获取本书的 PDF 文件; 前三个网站在中国, 但后三个网站可能不在中国.
若您发现了本书的错误, 您可以告诉我 (在这儿或在发现错误的页面的 “讨论” 留言), 然后我改它. 当然, 您也可自行修改它.
我就说这么多吧. 我与作者希望, 此书是有帮助的.
Septsea
2024-09-17