You are about to access our book library "Mathematical Logic and Formalized Theories: A Survey of Basic Concepts and Results full version" .