v1
S. C. Kleene. Recursive functionals and quantifiers of finite types II. Transactions of the American Mathematical Society, vol. 108 (1963), pp. 106–142.
Identifier:nobleid.org/w1/20260515/FDF29CC3
Type:Journal Article
0 views
Embeddable Badge
[](https://nobleid.org/work/w1/20260515/FDF29CC3)
Bibliometric Analysis
Impact metrics, research fronts, co-authorship networks →
Authors & Claims
Paper Authors