Higher-order logic and type theory /
Bell, J. L.(John Lane),author.
Includes bibliographical references (pages 75-79)
Logic, Symbolic and mathematical.
Type theory.
Set theory.
Logic, Symbolic and mathematical.
Set theory.
Type theory.