BEGINNING ALGEBRA FOURTH EDITION
MARGARET L.LIAL CHARLES D.MILLER1981 年出版404 页ISBN:067315890X
R.DAVID GUSTAFSON PETER D.FRISK1985 年出版546 页ISBN:053405028X
Lecture Notes in Computer Science 2283 Isabelle/HOL A Proof Assistant for Higher-Order Logic
2002 年出版218 页ISBN:3540433767
BERNARD KOLMAN MICHAEL L.LEVITAN ARNOLD SHAPIRO1993 年出版547 页ISBN:0030469341
Directory of Chinese institutes of higher learning and research institutes authorized to confer doct
(compiled by) Office of the Academic Degrees Committee of the State Council, the Peoples Republic o2222 年出版804 页ISBN:7040002620
GORDON FULLER WALTER L.WILSON HENRY C.MILLER1982 年出版414 页ISBN:0534011381