Logical Frameworks For Truth And Abstraction by A. Cantini