 | Anil Nerode - Mathematics - 1985 - 528 pages
...Groningen North-Holland. Amsterdam, New York and Oxford, and Elsevier North-Holland. New York, 1980. [1959| Recursive functional and quantifiers of finite types I, Trans. Amer. Math. Soc. 91. 1-52. |1963] Recursive functional* and quantifiers of finiie types II, Trans. Amer Math S<H- 108. 106-142.... | |
 | Albert R. Meyer, Michael A. Taitslin - Mathematics - 1989 - 289 pages
...Introduction to metamathematics, van Nostrand, Princeton (1952). [7] SC Kleene, Recursive functionals and quantifiers of finite types, I, Trans. Amer. Math. Soc., 91 (1959), 1-52. [8] SC Kleene, Recursive functionals and quantifiers of finite types, II, Trans. Amer. Math. Soc.,... | |
 | Samuel R. Buss, Philip J. Scott - Computers - 1990 - 350 pages
...Programming Approach to Computability. Springer- Verlag, 1982. [14] SC Kleene. Recursive functionals and quantifiers of finite types I, Trans. Amer. Math. Soc. 91 (1959) 1-52. [15] SC Kleene. Recursive functionals and quantifiers of finite types II, Trans. Amer. Math. Soc. 108... | |
 | Egon Börger - Computers - 1992 - 428 pages
...Logic Colloquium '76, North-Holland, Amsterdam (1977), 373-392. [3] SC Kleene. Recursive functionals and quantifiers of finite types I. Trans. Amer. Math. Soc. 91 (1959), 1-52. [4] SC Kleene. Recursive functionals and quantifiers of finite types revisited I. Generalized Recursion... | |
 | Yiannis N. Moschovakis - Mathematics - 1992 - 608 pages
...Constructivity in Mathematics (Amsterdam), North Holland, Amsterdam, 1959. 17. SC Kleene, Recursive functionals and quantifiers of finite types I, Trans. Amer. Math. Soc. 91 (1959), 1-52. 18. SC Kleene, Turing-machine computable functionals of finite types I, Proc. of the 1960 Congress... | |
 | Kiyosi Itô - Mathematics - 1993 - 2168 pages
...algorithms (in Russian), Trudy Mat. Inst. Steklov., 42 (1954). [10] SC Kleene, Recursive functionals and quantifiers of finite types I, Trans. Amer. Math. Soc., 91 (1959), 1-52. [1 1] SC Kleene, Recursive functionals and quantifiers of finite types II, Trans. Amer. Math. Soc.,... | |
 | E.R. Griffor - Computers - 1999 - 727 pages
...YN MOSCHOVAKIS [1977] Recursion in higher types, in: Barwise [1977], pp. 681-737. SC KLEENE [1959] Recursive functional and quantifiers of finite types I, Trans. Amer. Math. Soc., 91, pp. 1-52. [1962a] Turing-machine computable functionals of finite types I, in: Nagel, Suppes and Tarski... | |
| |
Recursive functionals and quantifiers of finite types I, Trans. Amer. Math. Soc. 91 (1959), 1-52. 