"Colin McLarty is an American logician whose publications have ranged widely in philosophy and the foundations of mathematics, as well as in the history of science and of mathematics."@en . "American logician" . "McLarty, Colin"@en . . .