Innovative Brain Tumor Therapy || Blood–brain barrier pathophysiology in brain tumors
- 作者Caruso, Gerardo
- 文件大小715.27KB
- 发表时间2014
- DOI10.1533/9781908818744.17
- 页码17-33
A Jump Operator in Set RecursionDag Normann · 1979
Degrees of functionalsDag Normann · 1979
On abstract 1-sectionsDag Normann · Synthese · 1974
R.E. degrees of continuous functionalsDag Normann · Archive for Mathematical Logic · 1983
Hereditarily effective typestreamsDag Normann · Archive for Mathematical Logic · 1997
Limit spaces and transfinite typesDag Normann; Geir Waagb · Archive for Mathematical Logic · 2002
Computability in Europe 2011Buss, Sam; Löwe, Benedikt; Normann, Dag; Soskov, Ivan · Annals of Pure and Applied Logic · 2013
A Continuous Functional with Noncollapsing HierarchyDag Normann · The Journal of Symbolic Logic · 1978
Computability and λ-DefinabilityA. M. Turing · The Journal of Symbolic Logic · 1937
Definability and Decision Problems in ArithmeticJulia Robinson · The Journal of Symbolic Logic · 1949
Arithmetical Problems and Recursively Enumerable PredicatesMartin Davis · The Journal of Symbolic Logic · 1953
The Interpretability Logic of Peano ArithmeticAlessandro Berarducci · The Journal of Symbolic Logic · 1990
Steps Toward a Constructive NominalismNelson Goodman and W. V. Quine · The Journal of Symbolic Logic · 1947
A Completeness Theorem in Modal LogicSaul A. Kripke · The Journal of Symbolic Logic · 1959
Models and RealityHilary Putnam · The Journal of Symbolic Logic · 1980
A Theory of Restricted Quantification ITheodore Hailperin · The Journal of Symbolic Logic · 1957