STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS VOLUME 121 CONSTRUCTIVISM IN MATHEMATICS AN IN
A.S.TROELSTRA AND D.VAN DALEN1988 年出版356 页ISBN：0444702660
MONOGRAPH SERIES OF THE INTERNATIONAL COUNCIL FOR COMPUTER COMMUNICATIONS VOLUME 1 the office of the
1979 年出版379 页ISBN：0444853367
Computer Vision:Algorithms and Applications
Szeliski2010 年出版812 页ISBN：9781848829343;1848829345
FOUNDATIONS OF THEORETICAL MECHANICS I THE INVERSE PROBLEM IN NEWTONIAN MECHANICS
1978 年出版266 页ISBN：0387088741
Science and the precautionary principle in international courts and tribunals expert evidence
burden of proof and finality2011 年出版375 页ISBN：052151326X
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
FUNDAMENTAL ALGORITHMS FOR COMPUTER GRAPHICS
RAE A.EARNSHAW2222 年出版1042 页ISBN：0387139206
