DATA STRUCTURES FOR BUSINESS PROGRAMMING
JUDITH KNAPP1989 年出版182 页ISBN:0394390768
INTRODUCTORY COLLEGE MATHEMATICS LINEAR PROGRAMMING
ROBERT D.HACKWORTH1976 年出版66 页ISBN:
STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS VOLUME 136 ADMISSIBILITY OF LOGICAL INFERENCE
VLADIMIR V.RYBAKOV1997 年出版617 页ISBN:0444895051
STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS VOLUME 137 HANDBOOK OF PROOF THEORY
SAMUEL R.BUSS1998 年出版811 页ISBN:0444898409