"Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983: Part 2: Computation and Proof Theory " - читать интересную книгу автора (M. M. Richter, E. Börger, W. Oberschelp, B. Schinzel, W. Thomas)