"Logical Frameworks for Truth and Abstraction: An Axiomatic Study" - читать интересную книгу автора (A. Cantini)