Hierarchies of predicates of finite types/
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: |
Similar Items
-
Set theory and hierarchy theory : a memorial tribute to Andrzej Mostowski : Bierotowice, Poland, 1975 : [proceedings] /
Published: (1976) -
Recursion-theoretic hierarchies/
by: Hinman, Peter G.
Published: (1978) -
Computations in higher types/
by: Moldestad, Johan
Published: (1976) -
Recursive equivalence types/
by: Dekker, J. C. E.
Published: (1960) -
Computations in higher types/
by: Moldestad, Johan, 1946-
Published: (1977)