Reasoning in simple type theory : festschrift in honour of Peter B. Andrews on his 70th birthday /
Benzmüller, Christoph.
Andrews, P. B.(Peter Bruce),1937-
London : College Publications,
c2008.
Includes bibliographical references.
Logic, Symbolic and mathematical.
Type theory.