Hierarchies of predicates of finite types

Saved in:
Bibliographic Details
Main Author: Clarke, Douglas Albert
Format: Book
Language:English
Published: Providence, R.I. : American Mathematical Society, 1964
Series:Memoirs of the American Mathematical Society ; ; 51
Subjects:
Tags: Add Tag
No Tags, Be the first to tag this record!