000 00259pam a2200109a 44500
082 _aA60
_bST9
100 _aAndrews, P.B.
245 1 _aA TRANSFINITE TYPE THEORY WITH TYPE VARIABLES
260 _a
_bNorth-Holland
_c1965
964 _gCIRC
997 _a38810 C
999 _c412527
_d412527