00808nam0-22002411i-450-990001211710403321000121171FED01000121171(Aleph)000121171FED0100012117120000920d1984----km-y0itay50------baengComputation and proof theoryProceedings of the Logic Colloquium held in Aachen, July 18-23, 1983 - Part IIEdited by M.M. Richter, E. Borger, W. Obe rschelp, B. Schinzel and W. Thomas.Berlin [etc.]Springer-Verlag1984Lecture Notes in Mathematics1104ITUNINARICAUNIMARCBK990001211710403321C-20-(1104802MA1MA1Computation and proof theory262578UNINAING01