Recursive Functionals
North-Holland (1992)
| Abstract | This work is a self-contained elementary exposition of the theory of recursive functionals, that also includes a number of advanced results. | |||||||||
| Keywords | Recursive functions | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| Buy the book | $148.97 used $580.64 new Amazon page | |||||||||
| Call number | QA9.615.S26 1992 | |||||||||
| ISBN(s) | 0444894470 9780444894472 | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,701 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesG. Longo & E. Moggi (1984). The Hereditary Partial Effective Functionals and Recursion Theory in Higher Types. Journal of Symbolic Logic 49 (4):1319-1332.
R. L. Goodstein (1961/2010). Recursive Analysis. Dover Publications.
Thomas J. Grilliot (1969). Selection Functions for Recursive Functionals. Notre Dame Journal of Formal Logic 10 (3):225-234.
John N. Crossley & Michael A. E. Dummett (eds.) (1965). Formal Systems and Recursive Functions. Amsterdam, North-Holland Pub. Co..
Erik Ellentuck (1981). Hyper-Torre Isols. Journal of Symbolic Logic 46 (1):1-5.
Zlatan Damnjanovic (1995). Minimal Realizability of Intuitionistic Arithmetic and Elementary Analysis. Journal of Symbolic Logic 60 (4):1208-1241.
G. L. McColm (1989). Some Restrictions on Simple Fixed Points of the Integers. Journal of Symbolic Logic 54 (4):1324-1345.
Stanley S. Wainer (1999). Accessible Recursive Functions. Bulletin of Symbolic Logic 5 (3):367-388.
Robert A. Di Paola (1981). A Lift of a Theorem of Friedberg: A Banach-Mazur Functional That Coincides with No Α-Recursive Functional on the Class of Α-Recursive Functions. Journal of Symbolic Logic 46 (2):216 - 232.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads2 ( #232,575 of 549,124 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
