TY  - GEN
AU  - Clarke, Douglas Albert,
CN  - QA241
ID  - 1364863
KW  - Number theory.
KW  - Recursive functions.
LK  - https://univsouthin.idm.oclc.org/login?url=https://ebookcentral.proquest.com/lib/usiricelib-ebooks/detail.action?docID=3113448
N1  - Cover title.
SN  - 9780821899960 (e-book)
T1  - Hierarchies of predicates of finite types /
TI  - Hierarchies of predicates of finite types /
UR  - https://univsouthin.idm.oclc.org/login?url=https://ebookcentral.proquest.com/lib/usiricelib-ebooks/detail.action?docID=3113448
VL  - number 51
ER  -