Logicism renewed logical foundations for mathematics and computer science - Gilmore, Paul C. 1925-2015 (A. K. Peters, 2005)