SET THEORY:THE THIRD MILLENNIUM EDITON
THOMAS JECH2007 年出版771 页ISBN:9787506282321
集合论近年来发展迅速,特别是迫力法、内模型、大基数和描述集合论的发展尤其突出。本书是一本经典图书,内容囊括了集合论的各个分支,其中有最重要的集合论模型和100余个定理,此外,还有很多补充性内容和结果作为...
CURRENT ISSUES IN LINGUISTIC THEORY 96: PROSPECTS FOR A NEW STRUCTURALISM
HANS-HEINRICH LIEB1992 年出版281 页ISBN:902723597X
Introduction to the Theory of Computation Second Edition
Michael Sipser2006 年出版437 页ISBN:7111173279
本书系统的介绍了计算理论的三个主要内容:自动机与语言、可计算性和计算复杂性。绝大部分内容是基本的,同时对可计算性和计算复杂性理论中的某些高级内容作了重点介绍。...