"Proofs and Computations (Perspectives in Logic)" - читать интересную книгу автора (Helmut Schwichtenberg, Stanley S. Wainer)