Recursive functionals and quantifiers of finite types revisited. V

@inproceedings{Kleene1991RecursiveFA,
  title={Recursive functionals and quantifiers of finite types revisited. V},
  author={Stephen Cole Kleene},
  year={1991}
}
Publisher Summary In the eighteen years since my last visit to Oslo, I have cherished a very pleasant recollection of an evening spent in the home of Thoralf Skolem. I am glad that the younger Norwegian logicians are keeping up the tradition so brilliantly started by him investigators from all parts have been pursuing higher and generalized recursion theory while I have been looking away. Also I am pleased to observe how many able In the theory developed in my original papers (1959 and 1963) on… CONTINUE READING