You are about to access our book library "Computational Logic: Volume 1: Classical Deductive Computing with Classical Logic. Second Edition full version" .