Let \(L = \left( {\mathcal{B},\mathcal{C}} \right)\) be a language of Alonzo. In this chapter we will define the semantics of L.

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Semantics

  • William M. Farmer

摘要

Let \(L = \left( {\mathcal{B},\mathcal{C}} \right)\) be a language of Alonzo. In this chapter we will define the semantics of L.