Conserved DegP Protease in Gram-Positive Bacteria Is Essential for Thermal and Oxidative Tolerance and Full Virulence in Streptococcus pyogenesJones, C. H.; Bolken, T. C.; Jones, K. F.; Zeller, G. O.; Hruby, D. E. · Infection and Immunity · 2001

Inactivation of the srtA Gene in Streptococcus gordonii Inhibits Cell Wall Anchoring of Surface Proteins and Decreases In Vitro and In Vivo AdhesionBolken, T. C.; Franke, C. A.; Jones, K. F.; Zeller, G. O.; Jones, C. H.; Dutton, E. K.; Hruby, D. E. · Infection and Immunity · 2001

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