Number Theoretic Density and Logical Limit Laws (Mathematical Surveys and Monographs)