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