"Logic colloquium '80. Papers intended for the European Summer Meeting of the Association for Symbolic Logic" - читать интересную книгу автора (D.van Dalen, etc.)