A60 / ST9
Andrews, P.B.
A TRANSFINITE TYPE THEORY WITH TYPE VARIABLES
/
.- North-Holland, 1965
Copy Details:
Acc. No.: 38810, Full Call No.: A60 ST9, Item type: Books , Location: COMPACT STORAGE (BASEMENT),
------------------------- --------------------- ------ --------- ------- ------- --------- --------