@书籍{zbMATH02061768，作者={Lepore，Ernest}，标题={含义和参数。{An}通过语言介绍逻辑}，版本={修订版}，国际标准图书编号={1-4051-0783-9}，年份={2003}，Publisher={Oxford:Blackwell Publishing}，语言={英语}，关键词={03-01,00A06}，zbMATH={2061768}，Zbl={1078.03001}}