Logicism renewed : logical foundations for mathematics and computer science - Gilmore, Paul C. 1925- (Lecture notes in logic ; ;, 2005)