"Logic Colloquium '88 (Studies in Logic and the Foundations of Mathematics)" - читать интересную книгу автора (R. Ferro, C. Bonotto, S. Valentini)