You are about to access our book library "Reasoning in Simple Type Theory: Festschrift in Honor of Peter B. Andrews on His 70th Birthday (Studies in Logic: Mathematical Logic and Foundations) full version" .