Logicism Renewed: Logical Foundations for Mathematics and Computer Science
History and Philosophy of Logic · 2008
Paul Gilmore, Logicism Renewed: Logical Foundations for Mathematics and Computer Science. Wellesley, MA: Association of Symbolic Logic, 2005 (Lecture Notes in Logic). 250 pp. $69. ISBN 1-56881-275-...