"Logical frameworks for truth and abstraction: An axiomatic study" - читать интересную книгу автора (A. Cantini)