"scripts on logic" -- a set of scripts developed to aid in evaluating claims in russell and whitehead's principia mathematica