海量图书期刊资源,随时随地畅享阅读乐趣
On Relatively Analytic and Borel SubsetsArnold W. Miller · The Journal of Symbolic Logic · 2005
PROPRANOLOL DURING NITROPRUSSIDE HYPOTENSIONMarshall, W. K.; Bedford, R. F.; Miller, E. D.; Arnold, W. P. · Anesthesiology · 1980
From Field and StudyHorace H. Jeter, F. W. Miller, Leon L. Gardner, H. M. Du Bois, Jack P. Hailman, Arnold Small, Myrtle E. Johnson, Ken Legg and W. H. Rickard · The Condor · 1959
From Field and StudyLee W. Arnold, Joseph S. Dixon, Dean Amadon, Richard M. Eakin, William M. Longhurst, Charles W. Quaintance, Ken Stott, Jr., Frank Bene, Loye Miller, C. Andresen and J. R. Alcorn · The Condor · 1942
From Field and StudyFrank Richardson, Mrs. Frank C. Hibben, Clarence Cottam, Clarence A. Sooter, Richard E. Griffith, R. M. Bond, Lee W. Arnold, A. J. van Rossem, W. L. McAtee and Alden H. Miller · The Condor · 1942
Long Borel hierarchiesArnold W. Miller · 2008
On box productsArnold W. Miller · Topology and its Applications · 1982
Infinite combinatorics and definabilityArnold W. Miller · 1989
Projective subsets of separable metric spacesArnold W. Miller · 1990
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