A Unifying Framework for Structured Analysis and Design Models:An Approach using Initial Algebra Sem
1991 年出版179 页ISBN:0521392962
New Frontiers In Information And Software As Services : Service And Application Design Challenges In
Divyakant Agrawal; K. Selcuk Candan; Wen-Syan Li (Eds.)2011 年出版301 页ISBN:3642192937
SET THEORY:THE THIRD MILLENNIUM EDITON
THOMAS JECH2007 年出版771 页ISBN:9787506282321
集合论近年来发展迅速,特别是迫力法、内模型、大基数和描述集合论的发展尤其突出。本书是一本经典图书,内容囊括了集合论的各个分支,其中有最重要的集合论模型和100余个定理,此外,还有很多补充性内容和结果作为...