Logical frameworks for truth and abstraction : an axiomatic study /: an axiomatic study. (1996) - Unknown
No abstract available