 |
0 索取号:F713.1/E905 作者:Myers、 John G.、Massy、 William F.、Greyser、 Stephen A.、 出版社:Englewood Cliffs, N.J. : Prentice-Hall, c1980.
|  |
0 索取号:TP301-53/E991/17 作者:Symposium on Logic in Computer Science (17th : 2002 : Copenhagen、 Denmark)、IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.、IEEE Xplore (Online service)、Federated Logic Conference (3rd : 2002 : Copenhagen、 Denmark)、 出版社:Los Alamitos, Calif. : IEEE Computer Society, c2002.
|
 |
0 索取号:F276.7/E804 作者:Richman、 Barry M.、Copen、 Melvyn.、 出版社:Huntington, N.Y. : R. E. Krieger Pub. Co., 1978.
|  |
0 索取号:C93/E9014 作者:Cook、 Thomas M.、 1940-、Russell、 Robert A.、 1946-.、 出版社:Englewood Cliffs, N.J. : Prentice-Hall, c1981.
|
 |
0 索取号:F416.5/E802 作者:International Science School for High School Students (20th : 1979 : University of Sydney)、Messel、 H. (Harry)、 1922-、 出版社:[Rushcutters Bay, Australia] : Pergamon Press, 1979.
|  |
0 索取号:Q51/E20051 作者:Lesk、 Arthur M.、 出版社:Oxford ; New York : Oxford University Press, 2004.
|
 |
0 索取号:Q2/E20044 作者: 出版社:Hoboken, N.J. : Wiley, 2004.
|  |
0 索取号:R9/E20047 作者: 出版社:New York : M. Dekker, c2004.
|
 |
0 索取号:Q954.67-33/E20051 作者: 出版社:Cold Spring Harbor, N.Y. : Cold Spring Harbor Laboratory Press, c2005.
|  |
0 索取号:B12/E20051 作者:Lloyd、 G. E. R. (Geoffrey Ernest Richard)、 1933-、 出版社:Oxford : Clarendon Press ; New York : Oxford University Press, 2004.
|
 |
0 索取号:G40-052/E20041 作者:McCulloch、 Gary.、 出版社:London : RoutledgeFalmer, 2004.
|  |
0 索取号:D501/E20042 作者:Wiarda、 Howard J.、 出版社:Belmont, CA : Thomson/Wadsworth, c2004.
|
 |
0 索取号:G252.7/E20041 作者: 出版社:Mason, Ohio : Thomson/Texere, c2004.
|  |
0 索取号:G212.2/E20043 作者:Lennon、 Paul、 1951-、 出版社:Berlin : Mouton de Gruyter, c2004.
|
 |
0 索取号:D996.1/E20045 作者:Sarkar、 Rumu.、 出版社:The Hague ; New York : Kluwer Law International ; Frederick, MD : Sold and distributed in North, Central, and South America by Aspen Publishers, c2003.
|  |
0 索取号:N02/E20051 作者: 出版社:Malden, MA : Blackwell Pub., 2004.
|