"Recursive Functionals (Studies in Logic and the Foundations of Mathematics Vol 131)" - читать интересную книгу автора (Luis E. Sanchis)