-
西文图书1.Computation, proof, machine : mathematics enters a new age / First English edition. O11/BD1
馆藏复本:1
可借复本:0 Gilles Dowek, French Institute for Research in Computer Science and Automation (INRIA) ; translat...
Cambridge University Press, c2015.
(0) 馆藏 -
西文图书2.A Comprehensive Textbook of Classical Mathematics O11/G1
馆藏复本:2
可借复本:2 Griffiths, H.B. & Hilton, P.J.
Springer-Verlag 1970
(0) 馆藏 -
西文图书3.An introduction to the history of mathematics O11/E1
馆藏复本:2
可借复本:2 Eves , Howard Whitley
Saunders College Pub 1983
(0) 馆藏