You are about to access our book library "Logicism Renewed: Logical Foundations for Mathematics and Computer Science, Lecture Notes in Logic 23 full version" .