Journal of Symbolic Logic 36 (1):146-147 (1971)
| Abstract | This article has no associated abstract. (fix it) |
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| DOI | 10.2307/2271525 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Hierarchies of Predicates of Finite Types.Douglas Albert Clarke - 1964 - Providence, RI, USA: American Mathematical Society.
Review: D. A. Clarke, Hierarchies of Predicates of Finite Types. [REVIEW]Peter G. Hinman - 1971 - Journal of Symbolic Logic 36 (1):146-147.
Clarke D. A.. Hierarchies of Predicates of Finite Types. Memoirs of the American Mathematical Society, No. 51. American Mathematical Society, Providence 1964, 95 Pp. [REVIEW]Peter G. Hinman - 1971 - Journal of Symbolic Logic 36 (1):146-147.
Review: Yiannis N. Moschovakis, Hyperanalytic Predicates; Thomas J. Grilliot, Hierarchies Based on Objects of Finite Type. [REVIEW]Peter G. Hinman - 1971 - Journal of Symbolic Logic 36 (1):147-148.
Review: Tosiyuki Tugue, On Predicates Expressible in the 1-Function Quantifier Forms in Kleene Hierarchy with Free Variables of Type 2; Tosiyuki Tugue, Predicates Recursive in a Type-2 Object and Kleene Hierarchies. [REVIEW]D. A. Clarke - 1968 - Journal of Symbolic Logic 33 (1):115-116.
On the Representation of Modality.Evelyn N. Ransom - 1977 - Linguistics and Philosophy 1 (3):357 - 379.
Tosiyuki Tugué. On Predicates Expressible in the 1-Function Quantifier Forms in Kleene Hierarchy with Free Variables of Type 2. Proceedings of the Japan Academy, Vol. 36 , Pp. 10–14. - Tosiyuki Tugué. Predicates Recursive in a Type-2 Object and Kleene Hierarchies. Commentarii Mathematici Universitatis Sancti Pauli, Vol. 8 , Pp. 97–117. [REVIEW]D. A. Clarke - 1968 - Journal of Symbolic Logic 33 (1):115-116.
Unimonotone Functions of Finite Types (Recursive Functionals and Quantifiers of Finite Types Revisited IV).S. C. Kleene - 1985 - In Anil Nerode & Richard A. Shore (eds.), Recursion Theory. American Mathematical Society. pp. 42--119.
Finite-Cofinite Program Relations.C. Brink & I. Rewitzky - 1999 - Logic Journal of the IGPL 7 (2):153-172.
Hierarchical Ordering in Plant Morphology.Robert W. Korn - 1994 - Acta Biotheoretica 42 (4):227-244.
Analytics
Added to PP index
2017-02-21
Total views
1 ( #1,552,166 of 2,518,587 )
Recent downloads (6 months)
1 ( #408,186 of 2,518,587 )
2017-02-21
Total views
1 ( #1,552,166 of 2,518,587 )
Recent downloads (6 months)
1 ( #408,186 of 2,518,587 )
How can I increase my downloads?
Downloads
Sorry, there are not enough data points to plot this chart.
Sorry, there are not enough data points to plot this chart.
