You are about to access our book library "Notes on the Formalization of Logic full version" .