DATA STRUCTURES AND ALGORITHMS
ALFRED V.AHO JOHN E.HOPCROFT JEFFREY D.ULLMAN1983 年出版427 页ISBN:0201000237
GUIDE TO MATHEMATICAL MODELLING
DILWYN EDWARDS MIKE HAMSON2222 年出版278 页ISBN:750621234X
Handbook of mathematical logic
cedited by Jon Barwise1977 年出版1165 页ISBN:072042285X