Article,

The Pure Part of HYP(M).

, and .
J. Symb. Log., 42 (1): 33-46 (1977)

Meta data

Tags

Users

  • @dblp

Comments and Reviews