Logical frameworks for truth and abstraction: An axiomatic study 1996 · ENGLISH · DJVU View details →