 |
0 索取号:H0-05/20078 作者:蔡曙山、 出版社:北京 : 清华大学出版社, 2007
|  |
0 索取号:J619.1-39/20081 作者:杨旋、 出版社:北京 : 机械工业出版社, 2007
|
 |
0 索取号:TN702/20084 作者:王俞允 (电力)、王鹏 (电力)、池雅庆 (电力)、柳伟 (电力)、 出版社:北京 : 中国电力出版社, 2007
|  |
0 索取号:D771.20/E20072 作者:Kim、 Thomas P.、 1969-、 出版社:Philadelphia : Temple University Press, 2007.
|
 |
0 索取号:F831.2/E20071.6 作者:Keown、 Arthur J.、Martin、 John D.、 1945-、Petty、 J. William、 1942-、 出版社:Upper Saddle River, N.J. : Pearson Prentice Hall, c2008.
|  |
0 索取号:O141.3/E20071.4 作者:Boolos、 George.、Burgess、 John P.、 1948-、Jeffrey、 Richard C.、 出版社:Beijing : Pub. House of Electronic Industry, 2003.
|
 |
0 索取号:TP302.2-532/E20011/1988 作者:Workshop on Computer Science Logic (2nd : 1988 : Duisburg、 Germany)、Börger、 E. (Egon)、 1946-、Kleine Büning、 H. (Hans)、Richter、 Michael M.、 1938-、 出版社:Berlin : Springer-Verlag, c1989.
|  |
0 索取号:TP301-53/E903/1989 作者:Botik '89 (1989 : Pereslavlʹ-Zalesskiĭ、 R.S.F.S.R.)、Meyer、 Albert R.、Taitslin、 M. A. (Mikhail A.)、 1936-、 出版社:Berlin : Springer-Verlag, c1989.
|
 |
0 索取号:TP3/E997 作者: 出版社:Berlin ; New York : Springer-Verlag, c1990.
|  |
0 索取号:O14/E701 作者:Cangelosi、 Vincent E.、 出版社:Columbus, Ohio : C.E. Merrill Books, [1967].
|
 |
0 索取号:O141/E701 作者:Shoenfield、 Joseph R. (Joseph Robert)、 1927-、 出版社:Reading, Mass. : Addison-Wesley Pub. Co., c1967.
|  |
0 索取号:TN4/E20022 作者: 出版社:Singapore ; River Edge NJ : World Scientific, c2001.
|
 |
0 索取号:O141/E993 作者:Summer School and Conference on Mathematical Logic (1988 : Chaæika、 Varnenski okræug、 Bulgaria)、Petkov、 Petio Petrov.、Heyting、 A. (Arend)、 1898-、 出版社:New York : Plenum Press, c1990.
|  |
0 索取号:O141-53/E901 作者:Logic Colloquium '88 (1988 : Padova、 Italy)、Ferro、 Robert.、 出版社:Amsterdam ; New York : North-Holland ; New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1989.
|
 |
0 索取号:O141/E906 作者:Bergmann、 Merrie.、Moor、 James、 1942-、Nelson、 Jack、 1944-、 出版社:New York : Random House, c1980.
|  |
0 索取号:O1-0/E702 作者:Kac、 Mark.、Ulam、 Stanislaw M.、 出版社:London ; Middlesex : Penguin, 1968.
|