Lecture Notes in Computer Science 755 Formal Program Development IFIP TC2/WG 2.1 State-of-the-Art Re
1993 年出版372 页ISBN:3540574999
SET THEORY:THE THIRD MILLENNIUM EDITON
THOMAS JECH2007 年出版771 页ISBN:9787506282321
集合论近年来发展迅速,特别是迫力法、内模型、大基数和描述集合论的发展尤其突出。本书是一本经典图书,内容囊括了集合论的各个分支,其中有最重要的集合论模型和100余个定理,此外,还有很多补充性内容和结果作为...
THE THIRD INTERNATIONAL CONFERENCE ON TURBOCHARING AND TURBOCHARGERS IMecheE CONFERENCE PUBLICATIONS
1986 年出版282 页ISBN:0852985908