00647nam a2200157Ia 4500 260820b |||||||| |||| 00| 0 eng d 511.3 C714.RT Colloquium on Logic, University of Leeds, England, 5-14 Aug., 1979 25291 Recursion theory ; its generalisations and applications; proceedings of logic colloquium 79 / Cambridge: Cambridge University Press, 1980 319p. London Mathematical lecture note series v. 45 25292 Drake, F. R. editor. 25293 Wainer, S. S. editor. 25294 ddc BK 0 0 0 511_300000000000000_C714_RT 0 10771 ISI ISI 1998-09-07 0 511.3 C714.RT DP17200 2019-02-14 00:00:00 BK 8710 8710