THE ACADEMIC LIBRARY IN TRANSITION PLANNING FOR THE 1990
BEVERLY P.LYNCE2222 年出版409 页ISBN:1555700438
Handbook of automated reasoning; volume II
editors Alan Robinson and Andrei Voronkov2001 年出版2122 页ISBN:0444508120
Handbook of automated reasoning; volume I
editors Alan Robinson and Andrei Voronkov2001 年出版970 页ISBN:0444829490
TEACHING MORAL REASONING:THEORY AND PRACTICE
JACK BRAEDEN ARBUTHNOT AND DAVID FAUST1981 年出版289 页ISBN:0060403217
CATEGORIES FOR THE WORKING MATHEMATICIAN
1971 年出版262 页ISBN:0387900365;0387900357;3540900365;750620035X