Automated reasoning in higher-order logic : set comprehension and extensionality in Church's type theory /
Brown, Chad E.
London : College Publications,
c2007.
Includes bibliographical references and indexes.
Type theory.
Automatic theorem proving.