1. Logical frameworks for truth and abstraction : an axiomatic study /: an axiomatic study. (1996) Other Names: Cantini, Andrea Record Type: Book Extent: 1 online resource (460 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗