01136nam a2200337 i 450099100077322970753620020507173414.0940729s|||| de ||| | eng 354013901Xb10755251-39ule_instLE01302098ExLDip.to Matematicaeng511.3AMS 03DAMS 03FAMS 68-XXBorger, Egon51951Computation and proof theory :proc. of the Logic Colloquium held in Aachen, July 18-23, 1983 /eds. G. H. Muller, M. M. Richter2 pt. ; 23 c :2 Pt.Recursion theoryOberschelp, WalterRichter, Michael M.Schinzel, BrigittaThomas, Wolfgang.b1075525121-09-0628-06-02991000773229707536LE013 03-XX RIC11 Pt.II (1984)Pt. 212013000002118le013-E0.00-l- 00000.i1084947628-06-02Computation and proof theory911295UNISALENTOle01301-01-94ma -engde 01