组合语义：FOL 和 lambda 演算 电子书下载

原名:Compositional semantics: FOL and lambda calculus
作品简介:通过组合。 6 使用这些谓词和函数的 FOL 中的一组句子 提出以下 FOL 特征：……