CURRENTLY SOLD OUT

Logical Frameworks for Truth and Abstraction: An Axiomatic Study by A. Cantini (Hardback, 1996)