Title: Logical frameworks for truth and abstraction
First published: 1996
Subjects: Logic, Symbolic and mathematical, Symbolic and mathematical Logic, Truth
LC classification: QA9 .C324 1996