递归谓词
Syntax and operational semantics of recursive programs based on predicate logic
建立于谓词逻辑上的递归程序及其操作语义
微语录 · 百科知识
微语录 · 经典语录
微语录 · 爱情句子
微语录 · 伤感句子