...
机译:Brouwer-Heyting-Kolmogorov语义的自指称
BHK semantics; Realization; Self-referentiality;
机译:Brouwer-Heyting-Kolmogorov语义的自指称
机译:体现了自我参照
机译:悖论,自指和混合系统:一种建构方法
机译:安全性逻辑的Brouwer-Heyting-Kolmogorov语义中的自我引用
机译:多模式语义理解:具有视觉和语言的语义角色标记
机译:证明语义失语和语义痴呆之间的质量差异:非语言语义加工的新探索
机译:Brouwer-Heyting-Kolmogorov解释的分类版本