@article{1364863, recid = {1364863}, author = {Clarke, Douglas Albert,}, title = {Hierarchies of predicates of finite types /}, pages = {1 online resource (99 pages).}, note = {Cover title.}, url = {http://library.usi.edu/record/1364863}, }