Logical frameworks for truth and abstraction an axiomatic study - Cantini, Andrea (Studies in logic and the foundations of mathematics, 1996)