STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS VOLUME 137 HANDBOOK OF PROOF THEORY
SAMUEL R.BUSS1998 年出版811 页ISBN:0444898409
高速巨人 资讯高速公路豪侠传 Warriors of the information superhighway
奥里塔著;Ken Auletta 何颖怡译1997 年出版347 页ISBN:957859190X
Bernhard Riemann 1826-1866 Turning Points In The Conception Of Mathematics
1999 年出版357 页ISBN:0817640401
annals of discrete mathematics 54 Submodular functions and electrical networks
H.Narayanan and l.hammer1997 年出版650 页ISBN:0444825231