Hierarchies of Predicates of Finite TypesISBN: 9780821899960Platform/Publisher: Ebook Central / American Mathematical SocietyDigital rights: Users: Unlimited; Printing: Limited; Download: 7 Days at a Time Subjects: Mathematics; No description is available.