| Albert R. Meyer, Michael A. Taitslin - Computers - 1989 - 310 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 Buss, P.J. Scott - Computers - 1990 - 368 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 - 444 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 - Computers - 1992 - 632 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... | |
| E.R. Griffor - Mathematics - 1999 - 724 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... | |
| |