Logicism Renewed by Paul C. Gilmore