Logical Frameworks For Truth And Abstraction door A. Cantini