You are about to access our book library "Handbook of the History of Logic, Volume 9: Computational Logic full version" .