Logicism Renewed (Logical Foundations for Mathematics and Computer Science, Lecture Notes in Logic 23)