"Logical Frameworks for Truth and Abstraction (Studies in Logic and the Foundations of Mathematics, 135)" - читать интересную книгу автора (A. Cantini)