01253nam a2200337 i 450099100129120970753620020507190738.0951026s1980 uk ||| | eng 052123543Xb10827110-39ule_instLE01310017ExLDip.to Matematicaeng511.30AMS 03-06AMS 03-XXAMS 03DQA9.615Drake, F. R.536654Recursion theory :its generalisations and applications :proceedings of Logic Colloquium '79, Leeds, August 1979 /edited by F. R. Drake, S. S. WainerCambridge :Cambridge University Press,1980319 p. ;23 cmLondon Mathematical Society lecture note series,0076-0552 ;45Mathematical logic and foundationsCongressesRecursion theoryCongressesWainer, S. S..b1082711023-02-1728-06-02991001291209707536LE013 03-XX DRA11 (1980)12013000038513le013-E0.00-l- 00000.i1093508328-06-02Recursion theory924736UNISALENTOle01301-01-95ma -enguk 01