 |
0 索取号:TN4/E904 作者:Higgins、 Richard J.、 出版社:Englewood Cliffs, N.J. : Prentice-Hall, 1983.
|  |
0 索取号:TN4/E992 作者:Horenstein、 Mark N.、 出版社:Englewood Cliffs, N.J. : Prentice Hall, 1990.
|
 |
0 索取号:TN4/E803 作者:Grinich、 Victor H.、Jackson、 Horace G.、 joint author.、 出版社:New York : McGraw-Hill, [1975]
|  |
0 索取号:TN4/E9010 作者:Chirlian、 Paul M.、 出版社:New York : Harper & Row, 1981.
|
 |
0 索取号:TN4/E801 作者:Muller、 Richard S.、Kamins、 Theodore I.、 1941- joint author.、 出版社:New York : Wiley, 1977.
|  |
0 索取号:TN79/E991 作者: 出版社:Beijing Tsinghua University Press 1998
|
 |
0 索取号:TP301-53/E991/14 作者:Symposium on Logic in Computer Science (14th : 1999 : Trento、 Italy)、IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.、 出版社:Los Alamitos, Calif : IEEE Computer Society Press, c1999.
|  |
0 索取号:O14/E991 作者:Wu、 Kathleen Johnson.、 出版社:Guilford, Conn. : Dushkin Pub. Group, c1994.
|
 |
0 索取号:TP302.2-532/E20011/1999 作者:Workshop on Computer Science Logic (13th : 1999 : Madrid、 Spain)、Flum、 Jörg.、Rodríguez Artalejo、 M. (Mario)、European Association for Computer Science Logic. Conference (8th : 1999 : Madrid、 Spain)、 出版社:Berlin ; New York : Springer, c1999.
|  |
0 索取号:TP301/E991 作者:Huth、 Michael、 1962-、Ryan、 Mark、 1962-、 出版社:New York : Cambridge University Press, 1999.
|
 |
0 索取号:TN01/E902 作者:Julian、 Michael、 1935-、 出版社:Harlow, Essex, England : Longman Scientific & Technical ; New York : Wiley, 1988.
|  |
0 索取号:TN11/E901.2 作者:Bell、 David A.、 1930-、 出版社:Reston, Va. : Reston Pub. Co., 1980.
|
 |
0 索取号:TN303-53/E902/3 作者:NASECODE Conference (3rd : 1983 : Galway、 Ireland)、Miller、 John J. H.、Commission of the European Communities.、 出版社:Dublin : Boole Press, 1983.
|  |
0 索取号:TN303-53/E902/5 作者:NASECODE Conference (5th : 1987 : Trinity College、 Dublin、 Ireland)、IEEE Xplore (Online service)、Miller、 John J. H.、 出版社:Dún Laoghaire : Boole, 1987
|
 |
0 索取号:TM13/E801 作者:Bell、 David A.、 1930-、 出版社:Reston, Va. : Reston Pub. Co., 1978.
|  |
0 索取号:TM13/E902 作者:Bruton、 Leonard T.、 出版社:Englewood Cliffs, N.J. : Prentice-Hall, 1980.
|