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
LANCZOS ALGORITHMS FOR LARGE SYMMETRIC EIGENVALUE COMPUTATIONS
2002 年出版273 页ISBN:0898715237
ECONOMIC THEORY VOLUME TWO THE SYSTEM OF ECONOMIC RELATIONS AS A WHOLE
DAVID P.LEVINE1981 年出版318 页ISBN:0710009488