基础科学
Isoform-specific inhibitors of ACATs recent advances and promising developments,Isoform-specific inhibitors of ACATs: recent advances and promising developments。...
[SLFM 016] Mathematical Interpretation of Formal Systems - Skolem et al (NH 1971.2ed)(T),Studies in Logic and the Foundations of Mathematics 系列。...
[SLFM 026] Computer Programming and Formal Systems - P.Braffort, D.Hirschberg (NH 1963)(T),Studies in Logic and the Foundations of Mathematics 系列。...
[SLFM 034] Equivalents of the Axiom of Choice. Part I - Rubin, Rubin (NH 1963.1970)(T),Studies in Logic and the Foundations of Mathematics 系列。...
[SLFM 048] Elements of Mathematical Logic (Model Theory) - Kreisel, Krivine (NH 1967)(T),Studies in Logic and the Foundations of Mathematics 系列。...
[SLFM 152] Realizability. An Introduction to its Categorical Side (Elsevier 2008)(T),Studies in Logic and the Foundations of Mathematics 系列。...