@书籍{zbMATH05914464，编辑＝｛B｛'e｝ziau，Jean-Yves｝，标题={特刊：{组合逻辑的挑战。{基于}关于逻辑组合的研讨会，{Neuch{^a}tel}，{瑞士}，2007年7月4日}，F系列={IGPL的逻辑杂志}，系列={Log.J.IGPL}，ISSN={1367-0751}，体积={19}，年份={2011}，Publisher={牛津大学出版社，牛津}，语言={英语}，关键词={03-06,03B62,00B25}，zbMATH={5914464}，Zbl={1250.03004}}