"Computation and Proof Theory" - читать интересную книгу автора (Richter M.M. (ed.), Borger E. (ed.), Oberschelp W. (ed.))