000
00259pam a2200109a 44500
082
_a
A60
_b
ST9
100
_a
Andrews, P.B.
245
1
_a
A TRANSFINITE TYPE THEORY WITH TYPE VARIABLES
260
_a
_b
North-Holland
_c
1965
964
_g
CIRC
997
_a
38810 C
999
_c
412527
_d
412527