edited by Thomas D. Cravens. 相关电子书下载

NORMAN THOMAS1932 年出版173 页ISBN：

THOMAS HARDY1994 年出版404 页ISBN：

THOMAS DEPIETRO2005 年出版98 页ISBN：

Russell Thomas1937 年出版729 页ISBN：

THOMAS ALEXANDER1919 年出版571 页ISBN：

THOMAS MANN1959 年出版750 页ISBN：

KEITH THOMAS1985 年出版100 页ISBN：

（美）夏佩尔（Shapere，D.）著；褚平，周文彰译1990 年出版453 页ISBN：7532704793

书名原文:Reasonandthesearchforknowledge:夏佩尔(1928～)

（美）柯里（Curry，D.）编著；穆易三译注1994 年出版135 页ISBN：7303034374

（丹）比约纳（Bjorner，D.）著2007 年出版802 页ISBN：9787302154327

本书介绍系统与语言的规约的基本原理和技术。