Specifying Systems 笔记 (Liveness)

数理逻辑的一些概念