NCID | DA00543593 |
名称(HDNG) | Andrews, P. B. (Peter Bruce), 1937- |
生没年(DATE) | 1937- |
から見よ(SF) | Andrews, Peter B. |
注記(NOTE) | LCCN 66-5084: His A transfinite type theory with type variables, 1965 (hdg.: Andrews, Peter Bruce, 1937- ; usage: P.B. Andrews) |
LCAID | 84806108 |