EQUATIONAL LOGIC AS A PROGRAMMING LANGUAGE
MICHAEL J.O’DONNELL2222 年出版296 页ISBN:026215028X
Lecture Notes in Artificial Intelligence 4363 Logic Language
and Computation 6th International Tbilisi Symposium on Logic2222 年出版0 页ISBN:
GRAPH STRUCTRE AND MONADIC SECOND-ORDER LOGIC A LANGUAGE-THEORETIC APPROACH
BRUNO COURCELLE JOOST ENGELFRIET2012 年出版728 页ISBN:0521898331
语言、逻辑与认知 语言逻辑和语言哲学论集 an essay in language, logic and philosophy
蔡曙山著2007 年出版434 页ISBN:7302139156
本书是作者近年来对语言、逻辑和认知研究的系统性学术成果,从现代语言学和逻辑学的校对,阐述与语言、逻辑和认知有关的一些理论问题。