Logical frameworks for truth and abstraction an axiomatic study (Elsevier Science B.V, 1996)
Includes bibliographical references (p. [425]-440) and index