Logical Frameworks for Truth and Abstraction (1996)

by A Cantini