基础科学
Quantization of fields with constraints,Gitman D.M., Tyutin I.V.。...
【选择公理等价形式】 Equivalents of the Axiom of Choice. Part I,数学的痒处。 OCR 修订版。...
[SLFM 031] Aristotle's Modal Syllogisms - Storrs McCall (NH 1953)(T),Studies in Logic and the Foundations of Mathematics 系列。...
[SLFM 050] Contributions to Mathematical Logic (Logic Colloquium'66) (NH 1968)(T),Studies in Logic and the Foundations of Mathematics 系列。...
[SLFM 056] Constructive Order Types - John N. Crossley (NH 1969)(T),Studies in Logic and the Foundations of Mathematics 系列。...
[SLFM 065] Combinatory Logic. Vol.2 - Curry, Hindley, Seldin (NH 1972)(T).djvu,Studies in Logic and the Foundations of Mathematics 系列。...
Molecular Biology of the Neuron, 2Ed (Oxford, 2004),介绍神经科学的分子生物学研究方法。...
F.DeliveryDiscovery-乔梁 - 2011中国软件技术大会 China SoftCon 2011,Good !。...