"Meeting of the Association for Symbolic Logic" - читать интересную книгу автора (Benacerraf Paul)