Clarke, D. A.

Hierarchies of predicates of finite types - Providence, R.I. : American Mathematical Society, 1964 - 1 online resource (95 p.) - Memoirs of the American Mathematical Society, 1947-6221 ; .

9780821899960 (online)