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