A biographical dictionary of eminent Scotsmen/Anderson, John, F.R.S.