Andrews, P. B. (Peter Bruce) , 1937- (Personal Name)

Number of records used in: 1

Preferred form: Andrews, P. B. (Peter Bruce) , 1937-

Machine generated authority record.

Work cat.: (): Andrews, P. B. (Peter Bruce) , 1937-, A transfinite type theory with type variables /, 1965