edited by Robert V. Demicco and George J.Klir.2004 年出版347 页ISBN:0124151469
The mathematical theory of finite element methods Third Edition = 有限元方法的数学理论 第3版
Susanne C. Brenner ; L. Ridgway Scott2010 年出版402 页ISBN:7510027437
SPECTRAL TECHNIQUES IN DIGITAL LOGIC
S.L.HURST D.M.MILLER I.C.MUZIO2222 年出版314 页ISBN:0123626803
HANDBOOK OF LOGIC IN ARTIFICIAL INTELLIGENCE AND LOGIC PROGRAMMING Volume 2 Deduction Methodologies
DOV M.GABBAY1994 年出版511 页ISBN:
NICHOLAS RESCHER TOPICS IN PHILOSOPHICAL LOGIC
WESLEY C.SALMON1968 年出版347 页ISBN: