Finite and Algorithmic Model Theory
J. Esparza2222 年出版341 页ISBN：9780521718202;0521718201
PUBLIC VALUE THEORY AND PRACTICE
JOHN BENINGTON AND MARK H.MOORE2011 年出版314 页ISBN：0230249043
Partial differential Equations with Fourier Series and Boundauy Value Problems
Second Edition2005 年出版690 页ISBN：
INTRODUCTION TO THE THEORY OF COMPUTATION SECOND EDITION
[美]MICHAEL SIPSER著2006 年出版437 页ISBN：
FINITE ELEMENTS THEORY AND APPLICATION
D.L.DWOYER M.Y.HUSSAINI R.G.VOIGT2222 年出版302 页ISBN：0387966102
ECONOMIC GROWTH THEORY AND NUMERICAL SOLUTION METHODS SECOND EDITION
ALFONSO NOVALES·ESTHER FERNANDEZ·JESUS RUIZ2014 年出版558 页ISBN：9783642549496
Computation and Reasoning A Type Theory for Computer Science
1994 年出版228 页ISBN：0198538359
FOUNDATIONS OF COMPUTER SCIENCE FROM DATA MANIPULATION TO THEORY OF COMPUTATION
（美）弗若赞（FOROUZAN2004 年出版384 页ISBN：
